Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.
Allan BlanchardNikolai KosmatovMatthieu LemerreFrédéric LoulerguePublished in: SCAM (2016)
Keyphrases
- high level programming language
- parallel implementation
- hardware designs
- parallel programming
- parallel processing
- symbolic execution
- programming language
- model checking
- shared memory
- computer programs
- knowledge base
- formal verification
- multi threaded
- website
- database
- massively parallel
- parallel hardware
- search engine
- information retrieval