The PEP tool
betaScreenshots
Description
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)
The PEP tool Web SiteUser Ratings
User Reviews
Be the first to post a review of The PEP tool!