TLA Toolbox.

Un ambiente di sviluppo integrato per la scrittura e il controllo delle specifiche TLA +
Scarica ora

TLA Toolbox. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • Microsoft Research
  • Sistemi operativi:
  • Windows XP / Vista / 7
  • Dimensione del file:
  • 48.6 MB

TLA Toolbox. Tag


TLA Toolbox. Descrizione

TLA + è un linguaggio di specifica che è progettato per aiutare nella creazione di specifiche di alto livello per sistemi distribuiti che concorrenti. TLA Toolbox è l'IDE progettato per consentire all'utente di utilizzare il modello TLC Checker e TLAPS nonché il sistema TLA + Proof per creare e verificare le specifiche TLA +.


TLA Toolbox. Software correlato

Chi siamo