Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.
| Autor: | Blanchard, Allan, Kosmatov, Nikolai, Lemerre, Matthieu, Loulergue, Frederic |
|---|---|
| Zdroj: | 2016 IEEE 16th International Working Conference on Source Code Analysis & Manipulation (SCAM); 2016, p67-72, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|