remenska / PASSWebStart

Java web start alternative of PASS! to be used as a front-end to mCRL2, for property elucidation.

This repository is not active

Java web start alternative of PASS! to be used as a front-end to mCRL2, for property elucidation.

Language:Java 97.0%Language:ANTLR 3.0%