Libri UniversitariApri il catalogo

Automated Verification Of Cyber-Physical Systems – L'Aquila

Università degli Studi dell'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Igor Melatti 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 ›

Edmund – Handbook of Model CheckingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Edmund – Handbook of Model CheckingCerca 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.

Prof. Igor Melatti 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 ›

Edmund – Handbook of Model CheckingCerca 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.