Statistical Model Checker for Timed Rebeca Models

Overview

Statistical model checker for Timed Rebeca models is developed as library of Erlang.

Artifacts

Statistical Model Checker

• Version: 1.0
• Last Updated: October 29, 2015
• Size: 136 KB
• Download: [zip]
• Related Artifacts: Case studies [Elevators with 3 floors] [Elevators with 10 floors] [Elevators with 20 floors] [ticket-9ts-4a.zip]

Note that you have to install McErlang-DTime prior to using the statistical model checker.