Material
Aquí hay unos videos relacionados con el panorama de los métodos formales y la verificación formal:
https://www.youtube.com/playlist?list=PLX1FD-Xa88fbMhT-tTe67O2gz_UwEjz9-
QUICKCHECK How to Specify It! A Guide to Writing Properties of Pure Functions. John Hughes PDF y video
El material del semestre 2022-2