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

Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel

Browse the full TACAS paper archive.