We give a unified view of different parameterized models of concurrent and distributed systems with broadcast communication based on transition systems. Based on the resulting formal models, we discuss related verification methods and tools based on abstractions and symbolic state exploration.
A unified view of parameterized verification of abstract models of broadcast communication
Delzanno, Giorgio
2016-01-01
Abstract
We give a unified view of different parameterized models of concurrent and distributed systems with broadcast communication based on transition systems. Based on the resulting formal models, we discuss related verification methods and tools based on abstractions and symbolic state exploration.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
sttt16.pdf
accesso aperto
Descrizione: articolo principale
Tipologia:
Documento in Post-print
Dimensione
440.27 kB
Formato
Adobe PDF
|
440.27 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
