Back to PRISM Model Checker
GSoC 2016

Refactoring and optimizing model construction for the explicit engine

Project details

Contributor

Maximilian Probst

Mentors

Dave Parker, mceska

Technologies

Not listed in the archive