Model Checking: High-Level Framework for Verification

About

stuff

Features

  • Open source; distributed via GitHub or GitLab