LiveIssues
← All organizations

PRISM Model Checker

PRISM is a tool for formally verifying the correctness of probabilistic systems.

Science and medicine
GitHubWebsite
1Year in GSoC
2016
5Total projects
5Projects that year
5Projects in 2016

Issues from PRISM Model Checker, matched to you

Sign in with GitHub and LiveIssues checks what you already write against this organization's repositories, then brings you open issues nobody has claimed. Free and read-only.

Find my match

Technologies

C++Java

Recent projects

  1. 2016Enhanced Graph Plotting and General GUI Improvements in PrismGSoC page
  2. 2016Enhanced Strategy Functionality for PRISMGSoC page
  3. 2016Extended support for mean-payoff propertiesGSoC page
  4. 2016Exact Solution MethodsGSoC page
  5. 2016Refactoring and optimizing model construction for the explicit engineGSoC page

Links & contact

GSoCEmailMailing list