The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract).
Leo MarcusPublished in: ISSTA (1994)
Keyphrases
- formal verification
- test generation
- model checking
- higher level
- symbolic execution
- hierarchical classification
- modular neural networks
- hierarchical structure
- real world
- asynchronous circuits
- highly flexible
- verification method
- modular structure
- unsupervised learning
- concurrent systems
- databases
- concurrent programs
- hierarchical model
- formal analysis
- formal methods
- statistical tests
- test cases
- high level