/engineering-sw-hw-model-checking-letures

Lectures in MIPT: intro to engineering software using model-checking.

Primary LanguageAlloyMIT LicenseMIT

No issues in this repository yet.