TLA + HERRAMIENTAS Un kit de herramientas para el lenguaje de especificación TLA + y el idioma de algoritmo Pluscal, junto con su Assoc ...
Descargar ahora

TLA + HERRAMIENTAS Clasificación y resumen

TLA + HERRAMIENTAS Etiquetas

simulador analizador

TLA + HERRAMIENTAS Descripción

TLA + Herramientas es una colección útil de servicios públicos y componentes que incluye un programa para tipográfico TLA + Especificaciones, un simulador y verificador de modelos que aborda una subclase de las especificaciones TLA + "ejecutables". Dentro del paquete TLA + Herramientas, también puede encontrar un PLUSCAL a TLA + Utilidad de traducción, una verificación de sintaxis para las especificaciones TLA +, así como un analizador.

TLA + HERRAMIENTAS Software relacionado