Model Checking: High-Level Framework for Verification About stuff Features Open source; distributed via GitHub or GitLab