Word level bitwidth reduction for unbounded hardware model checking.
Per BjessePublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- model checking
- word level
- temporal logic
- language independent
- document analysis
- model checker
- finite state
- temporal properties
- formal verification
- automated verification
- machine translation
- computation tree logic
- document images
- character recognition
- formal specification
- verification method
- n gram
- word recognition
- epistemic logic
- symbolic model checking
- word segmentation
- sentence level
- transition systems
- bounded model checking
- formal methods
- timed automata
- image processing
- semantic roles
- knowledge base
- real time
- alternating time temporal logic
- document level
- text classification
- language model
- knowledge representation
- natural language
- machine learning