Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. LTL3 tools

LTL3 tools 0.0.7

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

Une collection d’outils qui peuvent être utilisés pour générer des moniteurs ("watchdogs") à partir de formules LTL. Ceci est connu dans le domaine de la vérification du temps d’exécution. Pour plus d’informations, consultez la page d’accueil du projet associée.

historique de la version

  • Version 0.0.7 posté sur 2009-04-01
    Plusieurs correctifs et mises à jour
  • Version 0.0.7 posté sur 2009-04-01

Détails du programme

Programmes connexes

  • Neve Gratuit

    L’environnement de visualisation NEtwork est un cadre pour la visualisation 3D et l’interaction avec les réseaux, en particulier les réseaux de communication comme internet en temps réel et comme outil de simulation. Basé sur

  • Wikidsmart Gratuit

    Wikidsmart de zAgile transforme Confluence en wiki sémantique et référentiel de connaissances. Construit sur zCALM, l’infrastructure web sémantique pour l’interopérabilité des applications, il devient un tableau de bord d’inf

  • sdf2xyz2sdf Gratuit

    Un logiciel open-source pour convertir les fichiers SDF en fichiers TINKER XYZ (et viceversa) avec attribution automatique de types d’atomes MMFF94, types d’obligations et charges

  • Alcoholics Anonymous 12 Steps Essai gratuit

    Aide au rétablissement de la toxicomanie et fournit une référence utile pour tout membre de l’AA.Big Book, Sobriety Calculator, 12 Steps & Traditions, Find AA Meetings, Prayers.Les caractéristiques incluent :Le

  • Drum Count Gratuit

    Drum Count est un outil simple qui analyse le son en temps réel pour mesurer le nombre de coups joués sur une batterie.

  • FBReader LitRes plugin Essai gratuit

    Fonctionnalités supplémentaires pour l’intégration litres.ru FBReader.Accès au magasin litres en un clic.Enregistrez les nouveaux utilisateurs directement à partir de FBReader, rechargez votre compte via des SMS et des

  • quickdoc Gratuit

    QuickDoc est un parser de documents java qui lit des documents à partir de fichiers en texte clair en utilisant un langage simple et exporte le document vers d’autres formats comme PDF, HTML, Java Help et XML.

  • The Earth Science Markup Language Gratuit

    ESML est une technologie d’échange qui utilise des métadonnées externes pour permettre aux applications de brancher et de jouer en toute transparence avec des ensembles de données spécifiques aux sciences de la Terre dans des

  • RoboCup GameController Gratuit

    RoboCup GameController est un logiciel open source utilisé dans la RoboCup Humanoid League et la Standard Platform League. Les commandes des arbitres sont envoyées aux robots sur le terrain via le réseau sans fil pour atteind

  • PMath Gratuit

    PMath est un éditeur wysiwyg palm-based de textes mathématiques avec la possibilité de les convertir en LaTeX.