Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.
Benjamin GrégoireJorge Luis SacchiniPublished in: TGC (2007)
Keyphrases
- java bytecode
- java card
- programming language
- sufficient conditions
- language learning
- virtual machine
- java virtual machine
- smart card
- model checking
- programs written
- face verification
- operating system
- artificial intelligence
- source code
- modeling language
- computational linguistics
- specification language
- natural language
- high level