Parametric Runtime Verification of C Programs.
Zhe ChenZhemin WangYunlong ZhuHongwei XiZhibin YangPublished in: TACAS (2016)
Keyphrases
- symbolic execution
- hardware designs
- model checking
- formal analysis
- artificial intelligence
- face verification
- runtime environment
- real time
- signature verification
- automatic programming
- control structures
- functional verification
- concurrent systems
- test generation
- formal verification
- formal methods
- relational databases
- computer vision