Skip to Main content Skip to Navigation
Book sections

Specifying and Verifying Concurrent C Programs with TLA+

Document type :
Book sections
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01242954
Contributor : Benedikt Bollig Connect in order to contact the contributor
Submitted on : Monday, December 14, 2015 - 1:09:50 PM
Last modification on : Monday, February 21, 2022 - 3:38:09 PM

Identifiers

  • HAL Id : hal-01242954, version 1

Citation

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⟩

Share

Metrics

Record views

150