The SCAN Statistical Model Checker
arXiv:2603.287944.4h-index: 4
AI Analysis
Provides a formal basis for statistical model checking, benefiting researchers and practitioners in formal verification.
The paper formalizes the foundations of the SCAN statistical model checker, enabling rigorous statistical verification of systems. No concrete results are reported.
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.