PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking) [edit]
PEP is a modelling and verification framework for parallel systems, providing a large numb...
| OStatic Users | 0 |
| Stories | 0 |
| Questions | 0 |
Share a valuable story about this application with the OStatic Community.
Ask the OStatic community your question about this software.