Christel Baier – Principles of Model Checking

Libro adottato a Camerino, Politecnico di Milano, a.a. 2026/2027 · 3 canali

«Christel Baier – Principles of Model Checking» è adottato per Formal Methods For Software Engineering (Uic 540) dal prof. Pierluigi San Pietro (Automation and Control Engineering, Computer Science and Engineering – Politecnico di Milano); per Fundamentals Of System Verification dal prof. Luca Tesei (Computer Science – sede di Camerino – Camerino).

Come lo indica il docente: Christel Baier, Joost-Pieter Katoen, Kim G. Larsen, Principles of Model Checking, Mit Press, Anno edizione: 2008, ISBN: 978-0262026499 Note: Main reference book. It covers model checking and timed automata. Chapters 1-7 and 9 · Christel Baier, Joost-Pieter Katoen, Principles of Model Checking, The MIT Press, 2008. Saranno fornite dal docente slides e dispense con esercizi svolti. Per ottenere questo materiale si consulti la pagina wiki del corso per l'anno accademico corrente in cui si troveranno le informazioni sulla piattaforma da cui scaricare il materiale. Il wiki si trova all'indirizzo http://didattica.cs.unicam.it

Titolo

Principles of model checking

Autori

Christel Baier

Editore

The MIT Press, 2008

Chi lo adotta

• Politecnico di Milano · Formal Methods For Software Engineering (Uic 540) – Prof. Pierluigi San Pietro (canale unico)Automation and Control Engineering · Laurea triennale · esame facoltativo · 5 CFU
• Politecnico di Milano · Formal Methods For Software Engineering (Uic 540) – Prof. Pierluigi San Pietro (canale unico)Computer Science and Engineering · Laurea triennale · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU
• Camerino · Fundamentals Of System Verification – Prof. Luca Tesei (canale unico)Computer Science – sede di Camerino · Laurea magistrale (LM-18) · 1º anno · 2º semestre · Software Development and Technologies · 6 CFU / esame facoltativo · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Furia – Modeling Time in Computing