Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. The PEP tool

The PEP tool 2.0b

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Pep est un cadre de modélisation et de vérification pour les systèmes parallèles, fournissant un grand nombre de langues de modélisation et de techniques de vérification différentes (p. ex. SDL, filets Petri et vérification des modèles)

historique de la version

  • Version 2.0beta4 posté sur 2004-09-13
    Plusieurs correctifs et mises à jour
  • Version 2.0beta4 posté sur 2004-09-13

Détails du programme

Programmes connexes

  • JDPF Gratuit

    Ce programme est un logiciel open source gratuit pour un usage personnel et commercial, donc le choix parfait pour ceux qui veulent une alternative pour des programmes payants plus connus.

  • VDK Library Gratuit

    VDK Library est un cadre dans C++ qui lie les bibliothèques GTK+ GUI, pourvu à la fois pour Linux et Windows a été une bibliothèque de base pour le projet VDKBuilder. Récemment, le projet a été divisé et VDK continue le dével

  • Efes Gratuit

    Implémentation de système basé sur Bytecode (R^5RS). Rapide, compact, stable, adapté à l’éducation et à l’expérimentation.

  • Light Torch Flash Widget Pro Gratuit

    Widget pour activer / désactiver la caméra led (flash) en un seul clic. Utile comme torche.

  • Ayra - VCL Report Generator Gratuit

    Une application de concepteur de rapports et de générateur écrite dans Delphi, avec un concepteur de rapports WYSIWYG, un composant VCL pour la génération de rapports, valable pour Delphi 5 à 2006, et une petite application C

  • ES32 - EEG Analysis Gratuit

    ES32 est un programme windows pour l’analyse des fichiers de données EEG tel que produit par l’application NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Gratuit

    LJOS signifie la séquence de mots: Linux, Java, Système d’exploitation. Il s’agit d’une tentative de créer une extension d’bytecode direct au noyau Linux étroitement intégré avec une base de données comme un stockage commun.

  • DROIDinfo (Android 1.6+) Gratuit

    DROIDinfo affiche des informations techniques sur un appareil Android. Il s’adresse aux développeurs qui veulent obtenir une vue d’ensemble du matériel d’un appareil, le système Linux / Android, et les propriétés Java vu à pa

  • Lumbermill - Log4J/JSR47 GUI Gratuit

    Lumbermill est un centre visuel de traitement et de distribution de grumes pour Log4j et (en 2.0) java.util.logging (JSR47). Il s’agit d’une application autonome Swing/GUI qui prend en charge la visualisation et l’archivage d

  • EmbeddedImageBuilder Gratuit

    L’objectif de ce projet est de fournir une méthode pour construire une image bootable pour les petits systèmes embarqués, basée sur les sources de paquets d’origine, notamment buildroot, et d’instantanéer les fichiers de dist