TLA TOOLBOX

Un entorno de desarrollo integrado para escribir y revisar las especificaciones TLA +
Descargar ahora

TLA TOOLBOX Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • Microsoft Research
  • Sistemas operativos:
  • Windows XP / Vista / 7
  • Tamaño del archivo:
  • 48.6 MB

TLA TOOLBOX Etiquetas


TLA TOOLBOX Descripción

TLA + es un lenguaje de especificación que está diseñado para ayudar en la creación de especificaciones de alto nivel para sistemas distribuidos y concurrentes. TLA Toolbox es el IDE que fue diseñado para permitirle usar el verificador de modelos de TLC y la TLAP, así como el sistema TLA + PRUEBA para crear y verificar las especificaciones TLA +.


TLA TOOLBOX Software relacionado

Sobre nosotros