Submit Software
  1. Home
  2. Linux
  3. Other
  4. The PEP tool

The PEP tool 2.0b

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

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)

VERSION HISTORY

  • Version 2.0beta4 posted on 2004-09-13
    Several fixes and updates
  • Version 2.0beta4 posted on 2004-09-13

Program Details

Related Programs

  • JDPF Free

    This program is an open source software free for both personal and commercial use, thus the perfect choice for those that want an alternative for more well-known paid programs.

  • VDK Library Free

    VDK Library is a framework in C++ that binds GTK+ GUI libraries, provided for both Linux and Windows has been a base library for VDKBuilder project. Recently the project has been divided and VDK continues development by his o

  • Efes Free

    Bytecode-based Scheme (R^5RS) implementation. Fast, compact, stable, suitable for education and experimentation.

  • Light Torch Flash Widget Pro Free

    Widget to turn on/off camera's led (flash) with only a click.Useful as a torch.

  • Ayra - VCL Report Generator Free

    A report designer and generator application written in Delphi, with a WYSIWYG report designer, a VCL component for reports generation, valid for Delphi 5 to 2006, and a little CommandLine application for call. It only run in

  • ES32 - EEG Analysis Free

    ES32 is a windows program for the analysis of EEG data files as produced by the NEUROSCAN (tm) Acquire application.

  • LJOS - Java and database integration Free

    LJOS stands for the sequence of words: Linux, Java, Operating System. This is an attempt to create a direct bytecode extension to the Linux kernel tightly integrated with a database as a common storage.

  • DROIDinfo (Android 1.6+) Free

    DROIDinfo displays technical information about an Android device. It is aimed at developers who want to get an overview of a device's hardware, the Linux/Android system, and the Java properties as seen from the Dalvik VM. The

  • Lumbermill - Log4J/JSR47 GUI Free

    Lumbermill is a visual log processing and distribution center for Log4j and (in 2.0) java.util.logging (JSR47). It is a Swing/GUI standalone application that supports viewing and archiving of log events.

  • EmbeddedImageBuilder Free

    The goal of this project is to provide a method to build a bootable image for small embedded systems, based on the original package sources, most notably buildroot, and to snapshot the distribution and configuration files for