This tutorial aims to present the possibilities offered by model checking tools for the verification of distributed, mobile, object-oriented systems, modelled by formalisms derived by process algebras.
Action-based model checking (and its applications to distributed, mobile, object-oriented systems)
Fantechi A;Gnesi S
2003
Abstract
This tutorial aims to present the possibilities offered by model checking tools for the verification of distributed, mobile, object-oriented systems, modelled by formalisms derived by process algebras.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160109-doc_123973.pdf
accesso aperto
Descrizione: Action-based Model Checking (and its applications to distributed, mobile, object-oriented systems)
Dimensione
7.82 MB
Formato
Adobe PDF
|
7.82 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
