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)
License
GNU General Public License version 2.0 (GPLv2)Follow The PEP tool
Other Useful Business Software
Powerful App Monitoring Without Surprise Bills
Tired of monitoring tools that punish you for scaling? AppSignal offers transparent, predictable pricing with every feature unlocked on every plan. Track errors, monitor performance, detect anomalies, and manage logs across Ruby, Python, Node.js, and more. Trusted by developers since 2012 with free dev-to-dev support. No credit card required to start your 30-day trial.
Rate This Project
Login To Rate This Project
User Reviews
-
Peptool is great! Thanks.