chiara-camilla-rambaldi-migliore/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
SMT
Stargazers
No one’s star this repository yet.