1. Introduction
3. The SCAN User Manual
4. 1. Installation
5. 2. The User Interface
7. Model Checking Background in SCAN
8. 3. Channel Systems
9. 4. Temporal Logic
10. 5. Statistical Model Checking
12. SCXML-based Model Specification Format
13. 6. Model Main File
14. 7. Properties
15. 8. SCXML Processes