Back to PRISM Model Checker
GSoC 2016

Exact Solution Methods

Project details

Contributor

Nicolas Del Piano

Mentors

Vojtech Forejt

Technologies

Not listed in the archive