Menu Close

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.

RA2017