Prof. Igor Melatti

Università degli Studi dell'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Igor Melatti

Edmund – Handbook of Model Checking – Software Testing And Validation (Informatica – sede di L'Aquila, 3º anno · 1º semestre · 6 CFU)
Principles of Model Checking – Software Testing And Validation (Informatica – sede di L'Aquila, 3º anno · 1º semestre · 6 CFU)
Edmund – Handbook of Model Checking – Automated Verification Of Cyber-Physical Systems (Informatica – sede di L'Aquila, 2º anno · 2º semestre · Ase - Advanced Software Engineering · 6 CFU)

Materie del prof. Igor Melatti

Software Testing And Validation 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 Checking Cerca 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.

Automated Verification Of Cyber-Physical Systems Canale unico

Corso di laurea: 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

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

Il docente indica 1 testo

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

Libri consigliati nell'a.a. 2025/2026

Edmund – Handbook of Model Checking 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 6 moduli da svolgere in sequenza, descritti qui di seguito: 1 - Introduzione (8 ore). Introduzione alle metodologie di model checking classico per sistemi a stati finiti. Definizione di cyber-physical system e del problema della verifica della loro correttezza. 2 - Probabilistic model checking (16 ore).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Automated Verification Of Cyber-Physical Systems Canale unico

Corso di laurea: Ingegneria Informatica – sede di L'Aquila · Laurea magistrale (LM-32) · esame facoltativo · Computer Engineering · 6 CFU

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

Il docente indica 1 testo

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

Bacheca del docente: cosa indica di studiare

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Domande frequenti

Quali libri consiglia il prof. Igor Melatti per Software Testing And Validation?

Edmund – Handbook of Model Checking; Principles of Model Checking

Quali libri consiglia il prof. Igor Melatti per Automated Verification Of Cyber-Physical Systems (Informatica – sede di L'Aquila, canale unico)?

Edmund – Handbook of Model Checking

Quali libri consiglia il prof. Igor Melatti per Automated Verification Of Cyber-Physical Systems (Ingegneria Informatica – sede di L'Aquila, canale unico)?

Edmund – Handbook of Model Checking