Formal specification and verification

Stephan Merz 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
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 metadatas

Cited literature [67 references]  Display  Hide  Download

https://hal.inria.fr/hal-02387780
Contributor : Stephan Merz <>
Submitted on : Monday, December 2, 2019 - 1:26:12 PM
Last modification on : Tuesday, December 3, 2019 - 1:37:55 AM

File

lamport-book-only-formal.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

23

Files downloads

83