A Visual Tradeoff Space for Formal Verification and Validation Techniques.
Doron DrusinskyJames Bret MichaelMan-tak ShingPublished in: IEEE Syst. J. (2008)
Keyphrases
- formal verification
- model checking
- model checker
- search space
- automated verification
- visual features
- space time
- functional verification
- visual information
- symbolic model checking
- vector space
- bounded model checking
- visual perception
- formal specification
- parameter space
- neural network
- open source
- low level
- expert systems