A Practical Approach to Word Level Model Checking of Industrial Netlists.
Per BjessePublished in: CAV (2008)
Keyphrases
- model checking
- word level
- temporal logic
- language independent
- document images
- document analysis
- machine translation
- temporal properties
- finite state
- formal verification
- formal specification
- character recognition
- model checker
- sentence level
- automated verification
- n gram
- computation tree logic
- word segmentation
- word recognition
- formal methods
- verification method
- timed automata
- epistemic logic
- symbolic model checking
- bounded model checking
- semantic roles
- transition systems
- document level
- viterbi algorithm
- reactive systems
- text analysis
- text retrieval
- information retrieval