Accueil
Un article de APMC.
APMC3.0 beta is now available on the Download page !
Sommaire |
What is APMC ?
APMC: Approximate Probabilistic Model Checker 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.
Publications
The publications related to APMC and coauthored by people from the team: both in theoretical and practical aspects of our research.
You can also look at the publications related to APMC authored by other research groups, If you don't see in this page your publications please let us now (apmc@berbiqui.org).
Case studies
In the page about case studies, you can find details about several case studies we did using APMC, and also a list of case studies by APMC's users.
Download
If you want to download APMC, please go to the Download page.
APMC Team
Core team
- Sylvain Peyronnet - assistant professor, LRI University Paris XI
- Richard Lassaigne - assistant professor, logic team of the University Paris 7
- Thomas Hérault - assistant professor, LRI University Paris XI
The others
- Akim Demaille - assistant professor, head of LRDE at EPITA
- Sébastien Hémon - PhD student, LRI University Paris XI
- Guillaume Guirado - 5th year student EPITA
- Johan Oudinet - 5th year student EPITA
- Charles-Alban Deledalle - 4rd year student EPITA
- Nicolas Neri - 4rd year student EPITA
- Jean-Philippe Garcia-Ballester - 4rd year student EPITA
- Benoit Sigoure - 4rd year student EPITA
Past members
- Frédéric Magniette - CNRS
- Hélène Baraud - 4th year student EPITA
So many links
Help google find good things : seosphere and Busby SEO Challenge.
master systèmes embarqués, master systèmes d'information for a deep knowledge of IT techniques.
