APMC version 3.0

Ceux qui me connaissent le savent : il ne passe pas une journée sans que je survende mon logiciel préféré : APMC pour Approximate Probabilistic Model Checker.

En effet, je suis chercheur en informatique et je bosse sur la vérification dite approchée, les algos qu'on à mis au point avec d'autres personnes sont implémentés dans un logiciel, le fameux APMC.

Si ça vous intéresse : APMC