Invia software
  1. Casa
  2. Windows
  3. Altro
  4. LTL3 tools

LTL3 tools 0.0.7

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.7/5 - ‎3 ‎Voti
Scaricare

Raccolta di strumenti che è possibile utilizzare per generare monitor ("watchdogs") dalle formule LTL. Questo è noto dall'area di verifica del runtime. Per ulteriori informazioni, vedere la home page del progetto associata.

cronologia delle versioni

  • Versione 0.0.7 pubblicato il 2009-04-01
    Diverse correzioni e aggiornamenti
  • Versione 0.0.7 pubblicato il 2009-04-01

Dettagli del programma

Programmi correlati

  • Neve Gratuito

    NEtwork Visualisation Environment è un framework per la visualizzazione 3D e l'interazione con le reti, in particolare le reti di comunicazione come Internet sia in tempo reale che come strumento di simulazione. Basato su JMX

  • Wikidsmart Gratuito

    Wikidsmart di zAgile trasforma Confluence in un wiki semantico e un archivio di conoscenze. Basato su zCALM, l'infrastruttura Web semantica per l'interoperabilità delle applicazioni, diventa un dashboard di informazioni quand

  • sdf2xyz2sdf Gratuito

    Un software open source per convertire i file SDF in file TINKER XYZ (e viceversa) con assegnazione automatica di tipi di atomi MMFF94, tipi di legame e cariche

  • Alcoholics Anonymous 12 Steps Prova gratuita

    Assiste nel recupero delle dipendenze e fornisce un riferimento utile per qualsiasi membro AA.Grande libro, calcolatore di sobrietà, 12 passi e tradizioni, trova riunioni AA, preghiere.Le caratteristiche includono:I

  • Drum Count Gratuito

    Drum Count è un semplice strumento che analizza il suono in tempo reale per misurare il numero di tratti suonati su una batteria.

  • FBReader LitRes plugin Prova gratuita

    Funzionalità aggiuntive per FBReader litres.ru integrazione.I litri con un clic memorizzano l'accesso.Registra nuovi utenti direttamente da FBReader, ricarica il tuo account tramite messaggi di testo e carte di credito

  • quickdoc Gratuito

    QuickDoc è un parser di documenti java che legge i documenti da file di testo normale usando un linguaggio semplice ed esporta il documento in altri formati come PDF, HTML, Guida Java e XML.

  • The Earth Science Markup Language Gratuito

    ESML è una tecnologia di interscambio che utilizza metadati esterni per consentire alle applicazioni di collegarsi e giocare senza problemi con set di dati specifici di Earth Science in formati eterogenei.

  • RoboCup GameController Gratuito

    RoboCup GameController è un software open source utilizzato nella RoboCup Humanoid League e nella Standard Platform League. I comandi dell'arbitro vengono inviati ai robot sul campo di gioco tramite rete wireless per raggiung

  • PMath Gratuito

    PMath è un editor WYSIWYG basato su Palm di testi matematici con possibilità di convertirli in LaTeX.