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)
Release Date:
2004-09-13
Topics:
License:
Ratings and Reviews
Be the first to post a text review of The PEP tool. Rate and review a project by clicking thumbs up or thumbs down in the right column.
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
-
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
-
Parallel neural Circuit SIMulator
PCSIM is a tool for distributed simulation of heterogeneous networks composed of different model neurons and synapses. The development of PCSIM is supported by the FACETS EU project.
-
-
The PEP tool Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
