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

Paessler: Easy to Use With Enterprise Power. Free Trial Icon

Paessler: Easy to Use With Enterprise Power. Free Trial

A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.

Get Free Download

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

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
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.