APMC - Approximate Probabilistic Model Checker
Date de dernière version : 01 janvier 2013

Responsable : PEYRONNET Sylvain


APMC est un outil probabiliste de vérification approximative
de modèle pour des systèmes au comportement totalement
probabiliste.

• APMC emploie un algorithme randomisé à base de méthode de Monte-Carlo pour approcher la probabilité qu'une formule temporelle soit vraie.


• AMPC utilise un modèle de calcul distribué sur grappe de calculs pour générer des chemins et vérifier la validité des formules.


• APMC peut traiter des modèles temporels discrets et continus.


• APMC est adapté pour la vérification de modèle extrêmement grand

Pour en savoir plus: http://apmc.berbiqui.org/

Logiciel - Licence : GPL



Activités de recherche
  Model-Checking

Membres
  HERAULT Thomas
  PEYRONNET Sylvain
  BORGHI Alexandre

Equipe

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE