A Concurrent Bounded Model Checker for Java bytecode