About:
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.

Author:
hybrid [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://peptool.sourceforge.net
Tar/GZ:
http://sourceforge.net/project/showfiles.php?group_id=86405
Changelog:
http://peptool.sourceforge.net/CHANGES
CVS tree (cvsweb):
http://peptool.cvs.sourceforge.net/

Trove categories: [change]

[Development Status]		4 - Beta
[Environment]		Console (Text Based), MacOS X, Win32 (MS Windows), X11 Applications
[Intended Audience]		Developers, End Users/Desktop, Quality Engineers
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		POSIX
[Programming Language]		C, C++, Java, Tcl
[Topic]		Other/Nonlisted Topic, Scientific/Engineering, Scientific/Engineering :: Electronic Design Automation (EDA), Software Development, Software Development :: Quality Assurance, Software Development :: Testing, Text Editors :: Integrated Development Environments (IDE)

Dependencies: [change]
Tcl/Tk (Default branch) (required)
libxml2 (Default branch) (recommended)
The BWidget Toolkit (Default branch) (recommended)
ActiveTcl (optional)
[download links]

 Branches

Branch	Version	Last release	License	URLs
Default	2.0beta4	10-Sep-2004	GNU General Public License (GPL)