![](/statics/img/blank.png)
The PEP tool 2.0b
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 5.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa The PEP tool
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)