·
11 commits
to master
since this release
This release version is intended to be a publicly available beta.
It includes a working implementation of the Compiler of both the online MDP module instrumentation (the .aj file and the .jmdp file) and the PRISM model checker input file (the .prism file).