Why Just Boogie? Translating Between Intermediate Verification Languages.
Michael AmeriCarlo A. FuriaPublished in: CoRR (2016)
Keyphrases
- model checking
- expressive power
- cross lingual
- language independent
- databases
- case study
- intermediate representations
- functional verification
- data sets
- computer programs
- face verification
- target language
- formal methods
- formal verification
- language identification
- person identification
- verification method
- feature selection
- genetic algorithm