Skip to Main content Skip to Navigation
Book sections

Formal specification and verification

Stephan Merz 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Abstract : Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of algorithms.
Document type :
Book sections
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Monday, December 2, 2019 - 1:26:12 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:52 AM
Long-term archiving on: : Tuesday, March 3, 2020 - 4:04:35 PM


Files produced by the author(s)



Stephan Merz. Formal specification and verification. Dahlia Malkhi. Concurrency: the Works of Leslie Lamport, 29, Association for Computing Machinery, pp.103-129, 2019, ACM Books, ⟨10.1145/3335772.3335780⟩. ⟨hal-02387780⟩



Les métriques sont temporairement indisponibles