Formal specification and verification - Archive ouverte HAL Access content directly
Book Sections Year : 2019

Formal specification and verification

(1, 2)
1
2

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.
Fichier principal
Vignette du fichier
lamport-book-only-formal.pdf (228.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02387780 , version 1 (02-12-2019)

Identifiers

Cite

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⟩
182 View
971 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More