Efficient uninterpreted function abstraction and refinement for word-level model checking.
Yen-Sheng HoPankaj ChauhanPritam RoyAlan MishchenkoRobert K. BraytonPublished in: FMCAD (2016)
Keyphrases
- model checking
- temporal logic
- bounded model checking
- word level
- formal verification
- automated verification
- formal specification
- finite state
- temporal properties
- symbolic model checking
- verification method
- model checker
- computation tree logic
- timed automata
- alternating time temporal logic
- viterbi algorithm
- language independent
- document images
- document analysis
- text retrieval
- belief revision
- expert systems
- pattern recognition
- machine learning