SpinJa Promela Compiler 0.9

A Java-based model checker for Promela

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
report
malware
send us
an update
LICENSE TYPE:
Apache 
FILE SIZE:
237 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
University of Twente
CATEGORY:
Home \ Development \ Java
1 SpinJa Promela Compiler Screenshot:
SpinJa Promela Compiler
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.

Last updated on September 11th, 2012

Runs on: Mac OS X (-)

requirements

#Promela model checker #model checker #check Promela model #Promela #model #check #checker

Add your review!

SUBMIT