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)
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
User Ratings
ease
1 of 5
2 of 5
3 of 5
4 of 5
5 of 5
0 / 5
features
1 of 5
2 of 5
3 of 5
4 of 5
5 of 5
0 / 5
design
1 of 5
2 of 5
3 of 5
4 of 5
5 of 5
0 / 5
support
1 of 5
2 of 5
3 of 5
4 of 5
5 of 5
0 / 5
Additional Project Details
Intended Audience
Science/Research, Education, Manufacturing, Telecommunications Industry, Developers, Quality Engineers
User Interface
Console/Terminal, Tk
Related Categories
C++ UML Tool,
C++ QA Automation Software,
C++ Electronic Design Automation (EDA) Software,
C++ Topic Software,
C UML Tool,
C QA Automation Software,
C Electronic Design Automation (EDA) Software,
C Topic Software,
Tcl UML Tool,
Tcl QA Automation Software,
Tcl Electronic Design Automation (EDA) Software,
Tcl Topic Software