Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. When addressing more complex systems, such as large-scale collective adaptive systems, it quickly becomes clear that a focus on spatial aspects of such systems is as much relevant as the behavioural aspects. We provide a guided tour through the various research directions that this new focus on space has generated and is about to generate in the future.
Ten years of spatial model checking
Ciancia V.;Latella D.;Massink M.
2025
Abstract
Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. When addressing more complex systems, such as large-scale collective adaptive systems, it quickly becomes clear that a focus on spatial aspects of such systems is as much relevant as the behavioural aspects. We provide a guided tour through the various research directions that this new focus on space has generated and is about to generate in the future.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FestMS_LNCS_version_2025.pdf
solo utenti autorizzati
Descrizione: pubblicazione finale
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
6.42 MB
Formato
Adobe PDF
|
6.42 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
FestMS2024_postprint.pdf
accesso aperto
Descrizione: postprint articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
6.11 MB
Formato
Adobe PDF
|
6.11 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
