Specifying and Verifying Concurrent C Programs with TLA+ - Archive ouverte HAL
Chapitre D'ouvrage Année : 2015

Specifying and Verifying Concurrent C Programs with TLA+

Domaines

Théorie et langage formel [cs.FL]

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01242954

Soumis le : lundi 14 décembre 2015-13:09:50

Dernière modification le : mardi 3 septembre 2024-11:16:05

Fichier non déposé

Dates et versions

hal-01242954 , version 1 (14-12-2015)

Identifiants

  • HAL Id : hal-01242954 , version 1

Citer

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Specifying and Verifying Concurrent C Programs with TLA+. Formal Techniques for Safety-Critical Systems, 476, Springer, pp.206-222, 2015, Communications in Computer and Information Science. ⟨hal-01242954⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA CNRS ENS-CACHAN CNAM DRT CEA-UPSAY UNIV-PARIS-SACLAY LIST CEDRIC-CNAM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT HESAM
186 Consultations
0 Téléchargements

Partager

More