SPINJA PROMELA COMPILADOR

Un corrector modelo con sede en Java para Promela
Descargar ahora

SPINJA PROMELA COMPILADOR Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Apache
  • Nombre del editor:
  • University of Twente
  • Sitio web del editor:
  • http://code.google.com/u/Theo.Ruys/
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 237 KB

SPINJA PROMELA COMPILADOR Etiquetas


SPINJA PROMELA COMPILADOR Descripción

Spinja PROMELA Compiler es un verificador de modelo gratuito y abierto para Promela, escrito en Java. Promela es el lenguaje de modelado para el inspector de modelos de giro. Spinja es compatible con un gran subconjunto de la lengua promela. Podrá usar el compilador de Spinja PROMELA para verificar la ausencia de puntos muertos, afirmaciones, propiedades de la lividad y propiedades de LTL (a través de reclamaciones nunca). El modo de verificación de Spinja puede usar (anidado) la primera búsqueda de la primera búsqueda o la primera búsqueda de amplitud. El compilador de Spinja PROMELA es multiplataforma y funciona en Mac OS X, Windows y Linux.


SPINJA PROMELA COMPILADOR Software relacionado

Sobre nosotros