---
title: "Prism Model Checker"
url: https://vutuv.de/tags/prism_model_checker
type: tag
schema_version: 2
generated_at: 2026-06-19T02:01:10Z
---

# Prism Model Checker