JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).

Lucas C. Cordeiro Daniel Kroening Peter Schrammel

Published in: TACAS (3) (2019)

Keyphrases

bounded model checking
model checking
java bytecode
formal verification
linear temporal logic
temporal logic
multi agent systems
efficient execution
databases
virtual machine
intermediate representation
garbage collection