SpinJa Promela Compiler iconSpinJa Promela Compiler 0.9

A Java-based model checker for Promela
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, 23:29 GMT
file size:
237 KB
price:
FREE!
developed by:
University of Twente
license type:
Apache 
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Development \ Java

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

1 Screenshot
SpinJa Promela Compiler

Add your review!

SUBMIT