Principles of Model Checking

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

«Principles of Model Checking» è adottato per Software Testing And Validation dal prof. Igor Melatti (Informatica – sede di L'Aquila – L'Aquila); per Multimedia Data Security dal prof. Giulia Boato (Mathematics – sede di Trento – Trento).

Principles of Model CheckingCerca su Amazon ›

Come lo indica il docente: Christel Baier and Joost-Pieter Katoen: "Principles of Model Checking", MIT Press · Baier and Katoen "Principles of Model Checking", MIT Press

Chi lo adotta

L'Aquila · Software Testing And Validation – Prof. Igor Melatti (canale unico)Informatica – sede di L'Aquila · Laurea triennale (L-31) · 3º anno · 1º semestre · 6 CFU
Trento · Multimedia Data Security – Prof. Giulia Boato (canale unico)Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Cryptography · 6 CFU

Programma e testi di ogni canale

Software Testing And Validation – Prof. Igor Melatti Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea triennale (L-31) · 3º anno · 1º semestre · 6 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 6 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 3º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

Edmund – Handbook of Model Checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Principles of Model Checkingquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Libri consigliati nell'a.a. 2025/2026

Pezzè – Software Testing and Analysis Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso è diviso in 7 moduli da svolgere in sequenza, descritti qui di seguito: 1 - Introduzione (2 ore). Tecniche di verifica dei sistemi e loro differenze: testing, model checking e proof checkers 2 - Nozioni di base sul Model Checking (6 ore). Formule di liveness e formule di safety. Sintassi e semantica di CTL ed LTL. Differenze di espressività.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Multimedia Data Security – Prof. Giulia Boato Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Cryptography · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 1º semestre ›

Il docente indica 1 testo (4 libri tra cui scegliere)

Manuali NuXmv e SAT/SMT solvers

Uno a scelta tra questi 4:

Clarke – Model checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Principles of Model Checkingquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Clarke – Model checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Baier – Principles of model checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Libri consigliati nell'a.a. 2025/2026

Engineering – Enabling Digital Assets Security and Other Applications,…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Photo Forensics – By Farid Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026