jsam download | SourceForge.net

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, for simulating their stochastic behaviour and for verifying property satisfaction via stochastic model-checking.

Project Activity

See All Activity >

Follow jsam

Other Useful Business Software

Already Paying for an RMM? Get 50% Off Splashtop AEM Icon

Already Paying for an RMM? Get 50% Off Splashtop AEM

Switch to Splashtop AEM and save up to 50% in your first year

Automated OS and third-party patching for Windows and macOS, CVE prioritization with AI patch summaries, and built-in remote control that also supports Linux. Qualifying organizations switching from another RMM get up to 50% off year one.

Get Started

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of jsam!

Additional Project Details

Registered

2013-10-13

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

StochPy
StochPy - Stochastistic modeling in Python - is an easy-to-use package, which provides several stochastic simulation algorithms and unique analysis techniques, which can be used for stochastic simulations of biochemical systems.
MesoRD
MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
StochSD
CSS package for contin., discrete and combined modelling & simulation
StochKit
StochKit is an extensible stochastic simulation framework developed in C++ that aims to make stochastic simulation accessible to practicing biologists and chemists, while remaining open to extension via new stochastic and multiscale algorithms. StochKit is part of the StochSS project [http://www.stochss.org/], and we are relying on continued funding for sustained development. Please consider registering to show your support. Register here: https://docs.google.com/forms/d/12tAH4f8CJ-3F-lK44Q9uQHFio_mGoK0oY829q5lD7i4/viewform GillesPy is a python interface for developing models and simulating them with StochKit. Please see: https://github.com/GillesPy/gillespy/ StochKit currently supports Linux, Windows, and OS X.
Petri Net Editor
An editor for stochastic Petri-nets which allows creating reachability trees and Markov graphs, simulating and gathering statistics on simulation. Created during "Computer simulation" course at Kiev Polytechnic Institute in 2010. Based on JGraphX.