Expand description
§SCAN (StatistiCal ANalyzer)
SCAN is a statistical model checker designed to verify large concurrent systems for which standard verification techniques do not scale.
SCAN uses Channel Systems (CS) as models,1 and Metric Temporal Logic (MTL) as property specification language.
SCAN is being developed to accept models specified in multiple, rich modeling languages. At the moment the following languages are planned or implemented:
Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press. ↩
Structs§
- Cli
- SCAN (StatistiCal ANalyzer) is a statistical model checker designed to verify large concurrent systems for which standard verification techniques do not scale.