![](/statics/img/blank.png)
The PEP tool 2.0b
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de The PEP tool
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)