/Formal-Methods-2022

Repository containing the exercises solved during the Lab lectures for the course of Formal Methods (a.k.a. "Module 1: Automated Reasoning" and "Module 2: Model Checking") for the academic year 2021/2022

Primary LanguageSMT

Stargazers

No one’s star this repository yet.