M

musil

Project information

A tiny, dependency-free explicit-state model checker for Python: safety, deadlock, reachability, liveness — and concurrency by interleaving.

32 Commits
1 Branch
2 Tags
1 Environment

README
MIT License
CHANGELOG
GitLab Pages

Created on

June 21, 2026

Loading