CIVL: Formal Verification of Parallel Programs.
Manchun ZhengMichael S. RogersZiqing LuoMatthew B. DwyerStephen F. SiegelPublished in: ASE (2015)
Keyphrases
- formal verification
- program slicing
- model checking
- bounded model checking
- automated verification
- model checker
- parallel implementation
- symbolic model checking
- parallel processing
- high level programming language
- computer architecture
- parallel execution
- functional verification
- multicore processors
- multi core processors
- artificial intelligence
- parallel computation
- temporal logic
- source code