Back to PRISM Model Checker
GSoC 2016

Extended support for mean-payoff properties

Project details

Contributor

christopherZ

Mentors

Jan Kretinsky, Vojtech Forejt

Technologies

Not listed in the archive