Edmund – Handbook of Model Checking

Libro adottato a L'Aquila, a.a. 2026/2027 · 3 canali

«Edmund – Handbook of Model Checking» è adottato per Automated Verification Of Cyber-Physical Systems dal prof. Igor Melatti (Informatica – sede di L'Aquila, Ingegneria Informatica – sede di L'Aquila – L'Aquila); per Software Testing And Validation dal prof. Igor Melatti (Informatica – sede di L'Aquila – L'Aquila).

Come lo indica il docente: Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editors): "Handbook of Model Checking", Springer

Titolo

Handbook of model checking

Autori

Edmund M. <1945- > Edmund M. Clarke ...<et al.> editors Clarke

Editore

Springer, 2018

Chi lo adotta

• Automated Verification Of Cyber-Physical Systems – Prof. Igor Melatti (canale unico)Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · 2º anno · 2º semestre · Ase - Advanced Software Engineering · 6 CFU / 1º anno · 2º semestre · Ase - Advanced Software Engineering · 6 CFU
• Software Testing And Validation – Prof. Igor Melatti (canale unico)Informatica – sede di L'Aquila · Laurea triennale (L-31) · 3º anno · 1º semestre · 6 CFU
• Automated Verification Of Cyber-Physical Systems – Prof. Igor Melatti (canale unico)Ingegneria Informatica – sede di L'Aquila · Laurea magistrale (LM-32) · esame facoltativo · Computer Engineering · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Principles of Model Checking