Ghost Code in Action: Automated Verification of a Symbolic Interpreter.
Benedikt F. H. BeckerClaude MarchéPublished in: VSTTE (2019)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- java virtual machine
- source code
- error handling
- high level
- symbolic representation
- graph theory
- reasoning about actions
- dynamic range
- state transition
- programming language
- data sets
- human actions
- knowledge representation
- search algorithm
- knowledge base
- neural network