Software Testing And Validation – prof. Igor Melatti

Informatica – sede di L'Aquila · Università degli Studi dell'Aquila · 3º anno · 1º semestre · 6 CFU · canale unico

Libri del canale

Software Testing And Validation 6 CFU

IMProf. Igor Melatti Canale unico

Il docente indica 2 testi · da studiare tutti

Edmund – Handbook of Model CheckingVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

Principles of Model CheckingVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

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.

Apri nel catalogo: Informatica – sede di L'Aquila, 3º anno, tutte le materie e i canali ›

Testi d'esame di Software Testing And Validation del prof. Igor Melatti, canale unico, corso di laurea in Informatica – sede di L'Aquila (Laurea triennale (L-31)), Università degli Studi dell'Aquila, 3º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Edmund – Handbook of Model Checking; Principles of Model Checking.

Altre materie del prof. Melatti

Automated Verification Of Cyber-Physical Systems · Informatica – sede di L'Aquila · 2º anno · 2º semestre · Ase - Advanced Software Engineering · 6 CFU
Automated Verification Of Cyber-Physical Systems · Ingegneria Informatica – sede di L'Aquila · esame facoltativo · Computer Engineering · 6 CFU

Vedi anche: Prof. Igor Melatti · Software Testing And Validation a L'Aquila (tutti i canali)