Keyphrases
- model checking
- word level
- bounded model checking
- temporal logic
- language independent
- document images
- finite state
- machine translation
- temporal properties
- formal verification
- formal specification
- automated verification
- document analysis
- character recognition
- n gram
- model checker
- verification method
- computation tree logic
- word recognition
- epistemic logic
- formal methods
- symbolic model checking
- timed automata
- high level
- word segmentation
- sentence level
- linear temporal logic
- alternating time temporal logic
- semantic roles
- cross lingual
- machine vision
- image analysis