|
 
|
[MLB14] An Approach for Verifying Concurrent C Programs
Conférence Internationale avec comité de lecture : 8th Junior Researcher Workshop on Real-Time Computing, March 2014, Vol. Proceeedings, pp.33-36,Mots clés: Formal verification, concurrent programming
Résumé:
An Approach for Verifying Concurrent C Programs
Equipe:
sys
Collaboration:
CEA-LIST/LASTRE
BibTeX
| @inproceedings { | |||
| MLB14, | |||
| title | = | "{An Approach for Verifying Concurrent C Programs}", | |
| author | = | " A. Methni and M. Lemerre and B. Ben Hedia and S. Haddad and K. Barkaoui ", | |
| booktitle | = | "{ 8th Junior Researcher Workshop on Real-Time Computing}", | |
| year | = | 2014, | |
| month | = | "March", | |
| volume | = | Proceeedings, | |
| pages | = | "33-36", | |
| } | |||
