Adding Change Impact Analysis to the Formal Verification of C Programs.
Serge AutexierChristoph LüthPublished in: IFM (2010)
Keyphrases
- formal verification
- change impact analysis
- program slicing
- model checking
- source code
- root cause analysis
- model checker
- automated verification
- bounded model checking
- software architecture
- symbolic model checking
- software maintenance
- temporal logic
- impact analysis
- formal specification
- formal methods
- data mining
- planning problems
- open source
- data analysis
- case study