No official code found. Best implementation: convince-project/scan (5 stars, Apache-2.0, Rust, last commit 2026-04-24).
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.
Statistical Model Checking of NetLogo Models
Multi-Agent Verification and Control with Probabilistic Model Checking
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
Tea: A High-level Language and Runtime System for Automating Statistical Analysis
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
CLEVA: Chinese Language Models EVAluation Platform
@article{ghiorzi2026scan,
title = {The SCAN Statistical Model Checker},
author = {Enrico Ghiorzi and Armando Tacchella},
year = {2026},
eprint = {2603.28794},
archivePrefix = {arXiv},
url = {http://arxiv.org/abs/2603.28794v1}
}Shows whether official code is linked for this paper.
[](https://codeofpaper.com/paper/2603.28794)