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.

.

Page navigation:

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.