|
Docente
|
CIALDEA MARTA
(programma)
Logica del primo ordine, deduzione automatica, il linguaggio Prolog, Metodi formali per la verifica di sistemi
(testi)
vedi il sito del corso: http://cialdea.dia.uniroma3.it/teaching/logica/
M. Cialdea Mayer. Logica (dispense)
Un qualunque testo di introduzione al Prolog
D. A. Peled. Software Reliability Methods, capitoli 1 e 4
M. Cialdea Mayer. Logica temporale e verifica di proprietà dei programmi (dispense).
J.-P. Katoen. Concepts, Algorithms and Tools for Model Checking
Gerd Behrmann, Alexandre David, and Kim G. Larsen A Tutorial on Uppaal 4.0.
|
Università Roma Tre