JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.

Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtk

Browse the full CAV paper archive.