https://www.gsocorganizationsguide.com/organizations/prism-model-checker
PRISM Model Checker | GSoC Organizations Guide
PRISM is a tool for formally verifying the correctness of probabilistic systems. Participating in Google Summer of Code from year_2016 to year_2025.
prism model checkergsocorganizationsguide