4 ms·In Java it would be something like JBMC?by siscia 2y agoIn Java it would be something like JBMC?nanolith 2y agoYep. JBMC is part of the CProver / CBMC family.