Programas por peptool.sf.net

PEP es un marco de modelado y verificación para sistemas paralelos, que proporciona un gran número de diferentes lenguajes de modelado y técnicas de verificación (por ejemplo, SDL, redes Petri y comprobación de modelos)