Home My Page Projects Plasma-lab
Summary Activity Tracker Lists News SCM Files

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2012-11-12 15:14
Activity Ranking: 0
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases

This project has not released any files.

Public Tools
Project description

Plasma-lab is a generic and efficient Statistical Model-Checking platform implemented in Java. It handles several modeling or programing languages, and it can also be plugged on external simulation tools like Matlab or SciLab.

Latest News
No News Found