windows9download

You Here : Home > Linux

The PEP tool beta

OS Support:

All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Cygwin (MS Windows), Linux, Solaris


Publisher

Old version

Update:

August 13 2011

Download:

The PEP tool beta


Description

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)


Related Downloads


Software Tags

The Pep Tool

Size : 3.4 MB

Next/Pre