Projects / The PEP tool

The PEP tool

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
Licenses
Operating Systems
Implementation

Recent releases

  •  10 Sep 2004 18:00

    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.

    •  28 May 2004 17:43

      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.

      Screenshot

      Project Spotlight

      OpenStack4j

      A Fluent OpenStack client API for Java.

      Screenshot

      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.