RA2017: Panorama de la demostración asistida por ordenador
En la clase de hoy del curso de Razonamiento automático se ha presentado un panorama del razonamiento automático a través de 4 sistemas:
Prover9, ACL2, PVS e Isabelle/HOL.
De cada sistema se ha mostrado ejemplos que resaltan sus objetivos y las aplicaciones construidas con cada uno.
Las transparencias usadas son las del tema 6.