Formal specification and verification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Formal specification and verification

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
lamport-book-only-formal.pdf (228.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Stephan Merz  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02387780

Soumis le : lundi 2 décembre 2019-13:26:12

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : mardi 3 mars 2020-16:04:35

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM IMPACT-DIGITRUST
192 Consultations
1142 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More