Rechercher

[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: vespa
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",
}