Programmes par peptool.sf.net

Pep est un cadre de modélisation et de vérification pour les systèmes parallèles, fournissant un grand nombre de langues de modélisation et de techniques de vérification différentes (p. ex. SDL, filets Petri et vérification d