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
peptool - 2.0beta4
Last Update: Sep 08 2004
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved