Automated formal verification of X propagation with respect to testability issues.
Mehdi DehbashiDaniel TilleUlrike PfannkuchenStephan EggersglüßPublished in: IDT (2014)
Keyphrases
- formal verification
- model checking
- key issues
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- semi automated
- functional verification
- program slicing
- wave propagation
- automated analysis
- real valued
- knowledge acquisition
- open source
- software engineering
- expert systems
- reinforcement learning
- neural network