CIALDEA MARTA
(syllabus)
First order logic and automatic deduction. The Prolog programming language. Formal verification methods. Timed Automata
(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. G. Behrmann et al. UPPAAL Tiga User-manual.
|