APMC - Approximate Probabilistic Model Checker
Date of the last release: 01 January 2013
Person in charge :
PEYRONNET Sylvain
APMC is an approximate distributed model checker for fully probabilistic systems. APMC uses a randomized algorithm to approximate the probability that a temporal formula is true, by using sampling of execution paths of the system. APMC uses a distributed computation model to distribute path generation and formula verification on a cluster of workstations. The implementation of the tool started in 2003 and was originally done using C programming language together with lex and yacc. APMC was rewritten recently in Java for its version 3.0. In this version, APMC can now handles both discrete and continuous time models.
More information: http://apmc.berbiqui.org/
Software - Licence :
GPL
Research activities
Model-Checking
Members
HERAULT Thomas PEYRONNET Sylvain BORGHI Alexandre
Group
