Symbolic model checking of public announcement protocols

Tristan Charrier; Sophie Pinchinat; François Schwarzentruber

doi:10.1093/logcom/exz023

Article Dans Une Revue Journal of Logic and Computation Année : 2019

Symbolic model checking of public announcement protocols

(1) , (1) , (2)

1
2

Tristan Charrier

Fonction : Auteur
PersonId : 982100

Université de Rennes

Sophie Pinchinat

Fonction : Auteur
PersonId : 15715
IdHAL : sophie-pinchinat
IdRef : 097578754

Université de Rennes

CV

François Schwarzentruber

Fonction : Auteur
PersonId : 15714
IdHAL : francois-schwarzentruber
ORCID : 0000-0002-1228-4333
IdRef : 158488911

École normale supérieure - Rennes

CV

Domaines

Logique en informatique [cs.LO]

Sophie Pinchinat : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02533680

Soumis le : lundi 6 avril 2020-15:38:37

Dernière modification le : dimanche 21 janvier 2024-03:22:20

Dates et versions

hal-02533680 , version 1 (06-04-2020)

Identifiants

HAL Id : hal-02533680 , version 1
DOI : 10.1093/logcom/exz023

Citer

Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. Symbolic model checking of public announcement protocols. Journal of Logic and Computation, 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩. ⟨hal-02533680⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-RENNES UNIV-RENNES

21 Consultations

0 Téléchargements

Symbolic model checking of public announcement protocols

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager