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)
Download The PEP tool
Project Admins:
hybrid
Operating System:
Cygwin (MS Windows), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux, Solaris
License:
GNU General Public License (GPL)
Category:
Other/Nonlisted Topic, Electronic Design Automation (EDA), Modeling, Quality Assurance
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (6 open / 13 total)
Bug Tracking System -
Support Requests
: (1 open / 2 total)
Tech Support Tracking System -
Patches
: (1 open / 4 total)
Patch Tracking System -
Feature Requests
: (0 open / 0 total)
Feature Request Tracking System - Public Forums : (10 messages in 2 forums)
- Mailing Lists : (0 total)
-
CVS Repository
: (0 commits,
0 reads)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
hybrid
- Developers : 4
- Development Status : 4 - Beta
- Intended Audience : Developers, Quality Engineers, Education, Manufacturing, Science/Research, Telecommunications Industry
- License : GNU General Public License (GPL)
- Operating System : Cygwin (MS Windows), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux, Solaris
- Programming Language : C, C++, Tcl
- Topic : Other/Nonlisted Topic, Electronic Design Automation (EDA), Modeling, Quality Assurance
- Translations : English
- User Interface : Console/Terminal, Tk
- Project UNIX name : peptool
- Registered : 2003-07-23 17:25
- Activity Percentile (last week) : 96.40
- View project activity statistics
- View list of RSS feeds available for this project