The Incorporation of Testing into Formal Verification: Direct, Modular, and Hierarchical Correctness Degrees.
Leo MarcusPublished in: Formal Methods Syst. Des. (1996)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- formal methods
- program slicing
- hierarchical model
- artificial intelligence
- temporal logic
- modular structure
- hierarchical structure
- formal specification
- integer programming
- test cases
- dynamic programming
- expert systems