Next: Sistemas de producción
Up: Probadores de teoremas
Previous: PTTP
- asistentes y supervisores de las pruebas hechas por los humanos
- verificación y sínteis de hardware y software
- programación automática
queremos probar existe un programa p que satisface una cierta especificación; si la prueba es constructiva, construye el programa
Alvaro Barreiro Garcia
Thu Jul 18 18:54:04 MET DST 1996