The SCAN Statistical Model Checker
Enrico Ghiorzi, Armando Tacchella
TL;DR
This paper presents the formal foundations of the SCAN statistical model checker, establishing the theoretical basis for its implementation and use.
Contribution
It introduces the formal framework that underpins the SCAN statistical model checker, enabling rigorous analysis.
Findings
Provides the formal foundation for SCAN
Enables rigorous statistical model checking
Supports reliable system verification
Abstract
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.