3 ms·Yep. JBMC is part of the CProver / CBMC family.by nanolith 2y agoYep. JBMC is part of the CProver / CBMC family.