Metodi di verifica di sistemi

Docente: Benedetto Intrigila

Comunicazioni


Lezioni


Materiale didattico

Informazioni

Anno accademico2022-2023
Crediti6
SettoreINF/01
Anno2
Semestre1
PropedeuticitàNessuna

Programma

Model checking. Approccio esplicito e simbolico.

Nella parte avanzata del corso verra' considerato

l'uso del model checking nel planning e/o per i sistemi ibridi.

 


Testi di riferimento

Systems and Software Verification

Model-Checking Techniques and Tools

Autori: Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., 

Petit, A., Petrucci, L., Schnoebelen, P

 


Ricevimento studenti

Per appuntamento


Modalità di esame

null