Why Just Boogie? - Translating Between Intermediate Verification Languages.
Michael AmeriCarlo A. FuriaPublished in: IFM (2016)
Keyphrases
- model checking
- intermediate representations
- expressive power
- language independent
- verification method
- description languages
- signature verification
- databases
- object oriented languages
- grammatical inference
- target language
- text summarization
- data sets
- formal analysis
- formal verification
- language identification
- multi lingual
- computer programs
- case study