Challenges for Formal Verification in Industrial Setting.
Anna SlobodováPublished in: FMICS/PDMC (2006)
Keyphrases
- formal verification
- model checking
- automated verification
- bounded model checking
- model checker
- lessons learned
- symbolic model checking
- real world
- industrial applications
- technical challenges
- functional verification
- data sets
- program slicing
- open issues
- quality improvement
- dynamic programming
- artificial intelligence
- neural network