Università degli Studi di Roma "Tor Vergata"

METODI DI VERIFICA DI SISTEMI (obiettivi)

Codice

8066134

Lingua

ITA

Tipo di attestato

Attestato di profitto

Crediti

6

Settore scientifico disciplinare

INF/01

Ore Aula

48

Ore Studio

-

Attività formativa

Attività formative affini ed integrative

Canale Unico

Mutua da	8066134 METODI DI VERIFICA DI SISTEMI in Informatica LM-18 INTRIGILA BENEDETTO (programma) MODEL CHECKING ESPLICITO E SIMBOLICO, TIMED AUTOMATA. Systems and Software Verification Model-Checking Techniques and Tools Autori: Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P
Date di inizio e termine delle attività didattiche	-
Modalità di erogazione	Tradizionale
Modalità di frequenza	Non obbligatoria
Metodi di valutazione	Prova orale Valutazione di un progetto