iSMC: A BDD-based Symbolic Model Checker with Interactive Certification. - Philipp Czerner; Javier Esparza; Konrad Winslow (CoRR, 2026)