PRISM Model Checker
Science and medicinePRISM is a tool for formally verifying the correctness of probabilistic systems.
Get involved
Links from the organization’s published listing (2016). Older contact links may have moved.
Programs & participation
3 records across 1 programIndexed project records; missing years are not zero. Coverage
2016Google Summer of CodeAnnual program · 5 projects indexed
- Enhanced Graph Plotting and General GUI Improvements in Prism
- Enhanced Strategy Functionality for PRISM
- Exact Solution Methods
- Extended support for mean-payoff properties
- Refactoring and optimizing model construction for the explicit engine
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2014Google Summer of CodeAnnual program · 8 projects indexed
- A Prototypical PRISM Extension for POMDPs
- Counterexamples for Discrete Time Markov Models
- Enhanced discrete-event simulation
- Model visualization and exploration
- Parameter space exploration for computational systems biology
- Prism: GSoC'14 Proposal
- Qixia's proposal for parameter synthesis framework
- Verification of PCTL Properties of MDPs with convex uncertainties in PRISM
Source checked Oct 2, 2026
Community mirror of the 2009–2015 Google Melange project archive. Original Melange project links may now redirect; the participation source retains the mirrored records. Organizations without indexed projects may be absent. Imported and normalized from Vaibhav Gupta / GSoC-Data-Analyser, MIT.
2013Google Summer of CodeAnnual program · 2 projects indexed
- Markov decision process strategy/policy generation functionality for PRISM
- Model checking for stochastic games
Source checked Oct 2, 2026
Community mirror of the 2009–2015 Google Melange project archive. Original Melange project links may now redirect; the participation source retains the mirrored records. Organizations without indexed projects may be absent. Imported and normalized from Vaibhav Gupta / GSoC-Data-Analyser, MIT.