prismmodelchecker / prism-tests

Old version of the PRISM regression test suite; now merged into the main PRISM repo.

http://www.prismmodelchecker.org/wiki/Developers/RegressionTesting

Geek Repo

Github PK Tool