jSAM is an Eclipse plugin integrating a set of tools for stochastic analysis of concurrent and distributed systems specified using process algebras. More specifically, jSAM provides tools that can be used for interactively executing specifications and for simulating their stochastic behaviors. Moreover, jSAM integrates a statistical model-checking algorithm that permits verifying if a given system satisfies a CSL-like formula. PCTL model-checking has been integrated in jSAM together with a new module for supporting specification and analysis of systems via the PRISM language.

Further Information:

• User Guide
• Download