A Machine Checked Soundness Proof for an Intermediate Verification Language.
Frédéric VogelsBart JacobsFrank PiessensPublished in: SOFSEM (2009)
Keyphrases
- programming language
- language learning
- proof theory
- formal proof
- specification language
- natural language
- face verification
- model checking
- theorem proving
- modeling language
- java bytecode
- real time
- functional language
- verification method
- computational linguistics
- language processing
- source code
- information extraction
- expert systems
- multi agent
- knowledge base
- learning algorithm
- machine learning
- neural network
- data sets