SpinJa Promela Compiler

A Java-based model checker for Promela
Download

SpinJa Promela Compiler Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Apache
  • Publisher Name:
  • University of Twente
  • Publisher web site:
  • http://code.google.com/u/Theo.Ruys/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 237 KB

SpinJa Promela Compiler Tags


SpinJa Promela Compiler Description

SpinJa Promela Compiler is a free and open-source model checker for Promela, written in Java. Promela is the modelling language for the SPIN model checker. SpinJa supports a large subset of the Promela language.You will be able to use SpinJa Promela Compiler to check for the absence of deadlocks, assertions, liveness properties and LTL properties (via never claims). SpinJa verification mode can use (nested) depth first search or breadth first search. SpinJa Promela Compiler is cross-platform and it works on Mac OS X, Windows and Linux.


SpinJa Promela Compiler Related Software

About SoftwareSea