The SCAN Statistical Model Checker
Enrico Ghiorzi, Armando Tacchella
Abstract
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.
Table of Contents
Fetching ...
The SCAN Statistical Model Checker
Authors
Enrico Ghiorzi, Armando Tacchella
Abstract
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.
Paper Structure
This paper contains 15 sections, 30 equations, 3 figures, 3 tables.
Table of Contents
- Background
- Timed Probabilistic Transition Systems
- Timed Probabilistic Program Graphs and Timed Probabilistic Channel Systems
- Program Graphs
- Parallel Composition of Program Graphs (Channel Systems)
- Semantics of TPCSs as TPTSs
- Transition System Semantics of Program Graphs
- Transition System Semantics of Channel Systems
- State Charts
- Subset of scxml
- Time and Probabilities
- Semantics of SC as TPCS
- States and transitions
- Executable content
- SCAN
Figures (3)
- Figure 1: A taxonomy of models.
- Figure 2: Rules for the transition relation of a channel system.
- Figure 3: Simplified class diagram for .