Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software APMC
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

Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE