Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. The PEP tool

The PEP tool 2.0b

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

PEP es un marco de modelado y verificación para sistemas paralelos, que proporciona un gran número de diferentes lenguajes de modelado y técnicas de verificación (por ejemplo, SDL, redes Petri y comprobación de modelos)

historial de versiones

  • Versión 2.0beta4 publicado en 2004-09-13
    Varias correcciones y actualizaciones
  • Versión 2.0beta4 publicado en 2004-09-13

Detalles del programa

Programas relacionados

  • JDPF Gratis

    Este programa es un software de código abierto libre para uso personal y comercial, por lo tanto la elección perfecta para aquellos que quieren una alternativa para programas de pago más conocidos.

  • VDK Library Gratis

    VDK Library es un marco en C++ que enlaza bibliotecas GUI GTK+, proporcionadas para Linux y Windows ha sido una biblioteca base para el proyecto VDKBuilder. Recientemente el proyecto se ha dividido y VDK continúa el desarroll

  • Efes Gratis

    Implementación del esquema basado en código de bytes (R-5RS). Rápido, compacto, estable, adecuado para la educación y la experimentación.

  • Light Torch Flash Widget Pro Gratis

    Widget para encender / apagar el led de la cámara (flash) con sólo un clic. Es útil como una antorcha.

  • Ayra - VCL Report Generator Gratis

    Un diseñador de informes y una aplicación de generador escrita en Delphi, con un diseñador de informes WYSIWYG, un componente VCL para la generación de informes, válido para Delphi 5 a 2006, y una pequeña aplicación CommandLi

  • ES32 - EEG Analysis Gratis

    ES32 es un programa de Windows para el análisis de archivos de datos EEG producidos por la aplicación NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Gratis

    LJOS significa la secuencia de palabras: Linux, Java, Sistema Operativo. Este es un intento de crear una extensión de código de bytes directa al kernel de Linux estrechamente integrado con una base de datos como almacenamient

  • DROIDinfo (Android 1.6+) Gratis

    DROIDinfo muestra información técnica sobre un dispositivo Android. Está dirigido a desarrolladores que quieren obtener una visión general del hardware de un dispositivo, el sistema Linux/Android y las propiedades Java como s

  • Lumbermill - Log4J/JSR47 GUI Gratis

    Lumbermill es un centro de procesamiento y distribución de registros visuales para Log4j y (en 2.0) java.util.logging (JSR47). Es una aplicación independiente Swing/GUI que admite la visualización y el archivado de eventos de

  • EmbeddedImageBuilder Gratis

    El objetivo de este proyecto es proporcionar un método para crear una imagen de arranque para sistemas incrustados pequeños, basada en los orígenes de paquetes originales, en particular buildroot, y para crear instantáneas de