TY  - RPRT
TI  - iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
AU  - Philipp Czerner
AU  - Javier Esparza
AU  - Konrad Winslow
PY  - 2026
UR  - https://arxiv.org/abs/2605.03705
ID  - 2605.03705
ER  -