PRISM Model Checker
PRISM is a tool for formally verifying the correctness of probabilistic systems.
GSoC Participation History
Technologies
Topics
Past Projects
Enhanced Graph Plotting and General GUI Improvements in Prism
Prism is a tool for probabilistic model checking. It is categorized as a formal verification system tool for the modelling and analysis of systems...
Enhanced Strategy Functionality for PRISM
Prism is a probabilistic model checker, by which, the users can model and analyse real time systems. Prism provides its own modelling language. A...
Extended support for mean-payoff properties
In this project the multi-objective mean-payoff properties in Markov decision process are to be added into Prism, which is a probabilistic model...
Exact Solution Methods
Nowadays, most floating point computations are performed in double precision – with a mantissa of 53 bits. Nevertheless, depending on the application...
Refactoring and optimizing model construction for the explicit engine
During the project the current model construction will be analysed in regard to performance(i.e. reachability of multiple initial states, scalability...
Frequently Asked Questions
PRISM Model Checker | GSoC Org Profile & Stats - Learn about PRISM Model Checker's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.
Participation
Projects
Top Programming Languages
Project Difficulty Distribution
No difficulty data available
Built with ❤️ for the Google Summer of Code (GSoC) open source community | © 2026 GSoCOrganizationsGuide