PEP is a modeling and verification framework for parallel systems. It provides a large number of different modelling languages (e.g. SDL, B(PN)^2, Petri nets, Process algebras and Finite Automata), and verification techniques (e.g. reachability and temporal logic model checking). Due to its Tcl/Tk-based GUI, PEP is easily extensible to other analysis or specification tools. The framework offers fully integrated simulation and debugging features on all levels.
|Tags||Other/Nonlisted Topic Text Editors Integrated Development Environments (IDE) Software Development Testing Quality Assurance Scientific/Engineering Electronic Design Automation (EDA)|
|Implementation||Tcl Java C++ C|
Release Notes: Major changes have been to the GUI and the net simulator. This release offers a lot of convenience enhancements. The high-level net simulator and its stand-alone version, netsim_server, have been fixed and extended. The automaton editor has been fixed, and features automatic graph layout. Many analysis tools have been fixed, updated, or newly integrated. Due to the new tools available, this version needs at least version 1.2.0 of PEP-externals.
Release Notes: Some new analysis tools were added, and the finite automata parts were heavily rewritten. libxerces was replaced by libxml2, so cygwin users can use the graphical SDL editor. A Mac OS X port was added. GUI enhancements and bugfixes were also made, especially for net editors, and some Tcl/Tk problems were fixed.