TLA + Proofs
From MaRDI portal
Publication:4647839
DOI10.1007/978-3-642-32759-9_14zbMath1372.68168arXiv1208.5933OpenAlexW4210597939MaRDI QIDQ4647839
Damien Doligez, Leslie Lamport, Hernán Vanzetto, Daniel Ricketts, Stephan Merz, Denis Cousineau
Publication date: 8 November 2012
Published in: FM 2012: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.5933
Related Items (4)
A case study on parametric verification of failure detectors ⋮ Improving automation for higher-order proof steps ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Certification of an exact worst-case self-stabilization time
Uses Software
This page was built for publication: TLA + Proofs
