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