issues
search
prismmodelchecker
/
prism
The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157
stars
72
forks
source link
Build process tidying
#240
Closed
davexparker
closed
10 months ago