jpf-bmc A Concurrent Bounded Model Checker for Java bytecode Paper Concurrent Bounded Model Checking. JPF 2014. Quoc-Sang Phan, Pasquale Malacaria, and Corina S. Pasareanu.