Engine -- Yasm: A Software Model-Checker for Verification and Refutation -- Session 7.