Catalogo dei prodotti della ricerca

Exploiting Transition Locality in Automatic Verification

Exploiting Transition Locality in Automatic Verification / Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa. - STAMPA. - 2144:(2001), pp. 259-274. (Intervento presentato al convegno Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, tenutosi a Livingston, Scotland, UK, nel 4-7 September 2001) [10.1007/3-540-44798-9_22].

Exploiting Transition Locality in Automatic Verification

TRONCI, Enrico
Primo
;G. DELLA PENNA
Secondo
;ZILLI, Marisa
Ultimo
2001

Abstract

Exploiting Transition Locality in Automatic Verification
2001
Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001,
Model Checking, Formal Verification, Protocol Verification
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Exploiting Transition Locality in Automatic Verification / Tronci, Enrico; DELLA PENNA, G.; Intrigila, B.; Zilli, Marisa. - STAMPA. - 2144:(2001), pp. 259-274. (Intervento presentato al convegno Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, tenutosi a Livingston, Scotland, UK, nel 4-7 September 2001) [10.1007/3-540-44798-9_22].
04b Atto di convegno in volume
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/249168
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact