Formal Verification of Word-Level Specifications.
Stefan HörethRolf DrechslerPublished in: DATE (1999)
Keyphrases
- formal verification
- word level
- bounded model checking
- model checker
- automated verification
- model checking
- language independent
- document images
- document analysis
- character recognition
- machine translation
- n gram
- word segmentation
- word recognition
- sentence level
- formal specification
- viterbi algorithm
- temporal logic
- artificial intelligence