Formal Verification on the Word Level using SAT-like Proof Techniques.
Görschwin FeyDaniel GroßeStephan EggersglüßRobert WilleRolf DrechslerPublished in: MBMV (2007)
Keyphrases
- formal verification
- word level
- model checking
- language independent
- document images
- document analysis
- machine translation
- n gram
- character recognition
- word recognition
- theorem prover
- word segmentation
- theorem proving
- temporal logic
- sentence level
- semantic roles
- machine learning
- artificial intelligence
- knowledge based systems
- hidden markov models