Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Automated Verification of Critical Systems

Loic Besnard, Thiery Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Harold Anthony Johnson, Florence Maraninchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the Ninth International Workshop onAutomated Verification of Critical Systems
Publication statusPublished - 2009

Cite this