The SCAN Statistical Model Checker

Enrico Ghiorzi; Armando Tacchella

The SCAN Statistical Model Checker

Formal Languages and Automata Theory 2026-04-01 v1 Logic in Computer Science Multiagent Systems

Authors: Enrico Ghiorzi , Armando Tacchella

View on arXiv ↗ PDF ↗

Abstract

This paper lays out the formal foundations upon which the SCAN statistical model checker is built.

Cite

@article{arxiv.2603.28794,
  title  = {The SCAN Statistical Model Checker},
  author = {Enrico Ghiorzi and Armando Tacchella},
  journal= {arXiv preprint arXiv:2603.28794},
  year   = {2026}
}

Comments

29 pages, 3 figures

Related papers

View all related →

Software Engineering · Computer Science

Distributed Parametric and Statistical Model Checking

Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis +1

2011-11-03

Condensed Matter · Physics

The Physical Basis of Integrable Spin Models

Indrani Bose

2007-05-23

Logic in Computer Science · Computer Science

Probabilistic Model Checking: Applications and Trends

Marta Kwiatkowska, Gethin Norman, David Parker

2025-09-17

High Energy Physics - Phenomenology · Physics

Status of precision tests of the Standard Model

G. Altarelli

2011-07-19

Applications · Statistics

Model-based Pre-clinical Trials for Medical Devices Using Statistical Model Checking

Haochen Yang, Jicheng Gu, Zhihao Jiang

2021-06-23

Software Engineering · Computer Science

Model-Based Safety-Cases for Software-Intensive Systems

Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner

2018-06-14

Methodology · Statistics

Should we test the model assumptions before running a model-based test?

M. Iqbal Shamsudheen, Christian Hennig

2023-04-18

Software Engineering · Computer Science

A survey on formal specification and verification of separation kernels

Yongwang Zhao

2016-07-12

Software Engineering · Computer Science

Software Testing Models Against Information Security Requirements

Alexey Markov

2013-06-11

Networking and Internet Architecture · Computer Science

Actor-Based Model Checking for SDN Networks

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio +2

2020-01-29

Logic in Computer Science · Computer Science

A Proof Theory for Model Checking: An Extended Abstract

Quentin Heath, Dale Miller

2017-01-19

Logic in Computer Science · Computer Science

Some approximations in Model Checking and Testing

M. C. Gaudel, R. Lassaigne, F. Magniez, M. de Rougemont

2013-04-19

Methodology · Statistics

Posterior SBC: Simulation-Based Calibration Checking Conditional on Data

Teemu Säilynoja, Marvin Schmitt, Paul-Christian Bürkner, Aki Vehtari

2025-03-11

Logic in Computer Science · Computer Science

Statistical Model Checking : An Overview

Axel Legay, Benoit Delahaye

2010-05-11

Software Engineering · Computer Science

Model Checker Execution Reports

Rodrigo Castaño, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel

2017-08-21

Distributed, Parallel, and Cluster Computing · Computer Science

A Formal Approach to Network/Distributed Systems Complex Testing

Andrey A. Shchurov, Radek Marik, Vladimir A. Khlevnoy

2015-04-28

High Energy Physics - Phenomenology · Physics

On a Dual Standard Model

Tanmay Vachaspati

2007-05-23

Software Engineering · Computer Science

Formal Verification Of A Shopping Basket Application Model Using PRISM

Patrick Mukala

2023-08-02

Machine Learning · Statistics

Statistical Learning Theory: Models, Concepts, and Results

Ulrike von Luxburg, Bernhard Schoelkopf

2008-10-28

Formal Languages and Automata Theory · Computer Science

Model Learning: A Survey on Foundation, Tools and Applications

Shahbaz Ali, Hailong Sun, Yongwang Zhao

2019-01-08

General Mathematics · Mathematics

On the mathematical modelling of measurement

Jonathan Barzilai

2007-05-23

Logic in Computer Science · Computer Science

A framework for proof certificates in finite state exploration

Quentin Heath, Dale Miller

2015-08-03

Logic in Computer Science · Computer Science

Program Verification of Numerical Computation - Part 2

Garry Pantelis

2014-11-21

High Energy Physics - Phenomenology · Physics

Determination of constants of Standard Model and some generalized models

V. V. Khruschov

2007-05-23

Logic in Computer Science · Computer Science

A Formal System: Rigorous Constructions of Computer Models

Garry Pantelis

2017-04-14