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

jsam Web Site

Other Useful Business Software

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

Rate This Project

User Reviews

Be the first to post a review of jsam!

Additional Project Details

Registered

2013-10-13

Report inappropriate content

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

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
Java Modelling Tools
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
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.