A survey of recent advances in SAT-based formal verification.
Mukul R. PrasadArmin BiereAarti GuptaPublished in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
- recent advances
- formal verification
- bounded model checking
- model checking
- automated verification
- model checker
- symbolic model checking
- temporal logic
- researchers and practitioners
- program slicing
- field of pattern recognition
- version space
- image and video data
- linear temporal logic
- formal methods
- ai planning
- decision trees
- computer vision