TLA + Tools.

A Toolkit per il linguaggio delle specifiche TLA + e il linguaggio dell algoritmo pluscal, insieme al loro assoc ...
Scarica ora

TLA + Tools. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • Microsoft Research
  • Dimensione del file:
  • 3.3 MB

TLA + Tools. Tag


TLA + Tools. Descrizione

TLA + Tools è una utile raccolta di utilità e componenti che includono un programma per la composizione di specifiche TLA +, un simulatore e il checker del modello che si rivolge a una sottoclasse di specifiche TLA + "eseguibili". All'interno del pacchetto TLA + Tools puoi anche trovare un'utilità di traduzione Pluscal to TLA +, un correttore di sintassi per le specifiche TLA + nonché un parser.


TLA + Tools. Software correlato

Chi siamo