the pep tool

We have hosted the application the pep tool in order to run this application in our online workstations with Wine or directly.

Quick description about the pep tool:

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).

Audience: Developers, Education, Manufacturing, Quality Engineers, Science/Research, Telecommunications Industry.
User interface: Console/Terminal, Tk.
Programming Language: C, C++, Tcl.

.