The PEP tool
by hybrid
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)
Project Feed
-
Forum thread added
-
Forum comment added
-
Forum thread added
vvz-master created the PNML support in PEPtool forum thread
-
Tracker comment added
Anonymous commented on the Net editors fail to open under Debian artifact
-
Forum thread added
ptrecenti created the Compile erro forum thread
-
Forum comment added
hybrid commented on the RE: pep2.0 beta4 and TkINA forum thread
-
Forum thread added
eagtav created the pep2.0 beta4 and TkINA forum thread
-
Code committed
hybrid committed patchset 2637 of module pep to the The PEP tool CVS repository, changing 1 files
-
Code committed
hybrid committed patchset 2636 of module pep to the The PEP tool CVS repository, changing 2 files
-
Code committed
hybrid committed patchset 2635 of module pep to the The PEP tool CVS repository, changing 1 files
Related Projects
The PEP tool Actions
About SourceForge
Develop Software
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
