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

You Might Also Like
Secure Online Fax and Business Text Messaging Service Icon
Secure Online Fax and Business Text Messaging Service

Elevate your business communications with Notifyre's secure SMS and fax solutions.

Send and receive SMS and fax online, from email, app or with our developer friendly SMS & fax API. HIPAA compliant & ISO 27001 certified. Outstanding value and 5-star service.
Learn More
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