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

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