From Safety To Termination And Back: SMT-Based Verification For Lazy Languages.
Niki VazouEric L. SeidelRanjit JhalaPublished in: CoRR (2014)
Keyphrases
- statistical machine translation
- expressive power
- safety analysis
- language independent
- formal verification
- type checking
- machine translation system
- signature verification
- asynchronous circuits
- databases
- text summarization
- machine translation
- text classification
- target language
- face verification
- cross lingual
- language identification
- safety critical
- chinese english
- language model