Lecture notes and an interactive companion for Verification and Validation Techniques at the University of Udine: finite-state automata, model checking and temporal logic, with in-browser proof labs, notebooks and mind maps.
Luca Simonetti
January 1, 2026
Lecture notes and an interactive companion for Verification and Validation Techniques at the University of Udine: finite-state automata, model checking and temporal logic, with in-browser proof labs, notebooks and mind maps.