PRISM Model Checker GSoC projects
Every Google Summer of Code project accepted at PRISM Model Checker, grouped by program year. Open a project to see its contributor, mentors, technologies, and source code.
Back to PRISM Model CheckerGSoC 2016
5 projects- Enhanced Graph Plotting and General GUI Improvements in Prism
Muhammad Omer Saeed
- Exact Solution Methods
Nicolas Del Piano
- Extended support for mean-payoff properties
christopherZ
- Refactoring and optimizing model construction for the explicit engine
Maximilian Probst