Teacher
|
CIALDEA MARTA
(syllabus)
First order logic, automatic deduction, the Prolog programming language, formal verification methods
(reference books)
See the course web page: http://cialdea.dia.uniroma3.it/teaching/logica/
M. Cialdea Mayer. Logica (Lecture notes) Any introductory book on Prolog D. A. Peled. Software Reliability Methods, chapters 1 and 4 M. Cialdea Mayer. Logica temporale e verifica di proprietà dei programmi (lecture notes). J.-P. Katoen. Concepts, Algorithms and Tools for Model Checking Gerd Behrmann, Alexandre David, and Kim G. Larsen A Tutorial on Uppaal 4.0.
|