Teaching

Automated Reasoning/Formal Verification Lab 23-24

Teaching, University of Trento, 2023

Here’s the GitHub repository of the course: AR-FV-23-24

Automated Reasoning/Formal Verification Lab 22-23

Teaching, University of Trento, 2022

Here’s the GitHub repository of the course: AR-FV-22-23

Automated Reasoning/Formal Verification Lab 21-22

Teaching, University of Trento, 2021

Here’s the GitHub repository of the course: AR-FV-21-22