Programmi di peptool.sf.net

PEP è un framework di modellazione e verifica per sistemi paralleli, che fornisce un gran numero di linguaggi di modellazione e tecniche di verifica diversi (ad esempio SDL, reti di Petri e controllo dei modelli)