Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

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

ACF est un cadre pour l’écriture de modèles-checkers. ACF s’appuie sur l’observation fondamentale que la structure de la plupart des algorithmes de vérification des modèles est indépendant du formalisme utilisé pour décrire le système.

historique de la version

  • Version 0.1 posté sur 2000-03-21
    Plusieurs correctifs et mises à jour
  • Version 0.1 posté sur 2000-03-21

Détails du programme

Programmes connexes

  • LEP Gratuit

    Alphabétisé Eclipse Programming aide les développeurs à écrire structuré, bien documenté code source. LEP intègre l’extraction automatisée du code source et de la documentation dans un environnement d’éclipse familier. La com

  • BakerBots Gratuit

    Il s’agit du Baker College, application développée par un stagiaire pour exécuter des bots comme avatars dans Second Life, OpenSim, etc. Il s’appuie sur Program# pour le traitement AIML et libOpenMetaverse pour la fonctionnal

  • Survival Medicine Guide Essai gratuit

    « Nécessite lecteur Adobe gratuit"******Il s’agit d’un guide de médecine de survie au cas où ce que nous craignons tous se produit vraiment. C’est un grand compliment à n’importe quel bon manuel de survie. Ces information

  • Universal Maths Conversion Library Gratuit

    La bibliothèque UMCL fournit une API unique aux développeurs d’applications nécessitant des conversions entre différents formats mathématiques et en particulier des notations spécifiques au braille.

  • Bhagavad Gita(YaBG) Gratuit

    YaBG - Encore un autre "Bhagavad Gita " app. Cette application vous permet de lire toute la gita bhagavad sans interruption; pas d’annonces, pas de pop-ups douloureux; complètement libre et rien d’intrusif. J’ai cré

  • PONS German PREMIUM Essai gratuit

    Le PONS Dictionary German as a foreign language PREMIUM est avec 77 000 mots clés, phrases et constructions et plus de 125 000 définitions et exemples l’outil de référence standard le plus complet par PONS. Apprenez-vous l’al

  • jQuantum Gratuit

    jQuantum est un programme Java pour simuler un ordinateur quantique, concevoir des circuits quantiques et visualiser l’exécution d’algorithmes quantiques. Un autre but principal, cependant, est de créer des images dans votre

  • FlameBitmaps Gratuit

    Calcul des bitmaps à l’échelle 2D-Gris Calcul d’un corps de rotation 3D former une zone détectée en utilisant différents algorithmes de traitement d’image. Développé pour le Centre aérospatial allemand (DLR). Projets utilisés

  • fropho Gratuit

    fropho calcule les propriétés phonon en cristal, qui est basé sur la méthode Parlinski-Li-Kawazoe. L’information sur les forces agissant sur les atomes lorsqu’un atome est déplacé est requise comme information d’entrée. froph

  • FSMPP - Finite State Machines in C++ Gratuit

    FSMPP est une bibliothèque fournissant un cadre simple, lite et intuitif pour la construction de machines d’État finies en C++.