Tools
|
AfraAfra is an integrated environment for modeling and verifying Rebeca family designs. The tool Afra is developed to integrate Java artifacts of Rebeca related projects. Generally speaking, Afra as an IDE provides development environment for models, property specification facilities, model checking facilities, and counter example visualization. Learn more |
|
RMCCommand Line Model Checker of Rebeca Family Models Learn more |
|
|
JaccoState Space Generator of Java Actor Programs (which are written by Actor Foundry) Learn more |
|
|
ReGenHadoop YARN and Natjam-R job dispatch and eviction simulator using Timed Rebeca. Computes the efficency of deadline based scheduling in the presence of preemption. Learn more |
|
|
Statistical Model CheckerStatistical model checker for timedRebeca models using McErlang toolset. Learn more |
|
|
Rebeca to ErlangRebeca to Erlang transformer which enables using McErlang model checker and its simulation engine. Learn more |
|
|
SarirRebeca to mCRL2 translator Learn more |
|
|
Distributed Model CheckerTotal solution for distributed model checking of Rebeca models Learn more |
|
|
Roudabeh (Rebeca Verifier)Integrating R2SMV, R2P, and component-based model checking Learn more |
|
|
ReUMLUML model Verifier using Rebeca toolset Learn more |
|
|
Rebeca to PromelaA Translator for Rebeca Models to Promela Learn more |
|
|
Rebeca to SMVA Translator for Rebeca Models to SMV Learn more |