Inspired by Rocco De Nicola and colleagues’ novel approach to the compositional analysis of complex adaptive systems, we foresee an integrated methodology combining those methods with the logical verification techniques offered by modern proof assistants. We explain our long-term perspective on rigorous analysis of ensembles based on these tools for computerised mathematics and propose some preliminary results to make our methodological viewpoint more concrete.
Analysing Collective Adaptive Systems by Proving Theorems
Cosimo Perini Brogi
;
2024-01-01
Abstract
Inspired by Rocco De Nicola and colleagues’ novel approach to the compositional analysis of complex adaptive systems, we foresee an integrated methodology combining those methods with the logical verification techniques offered by modern proof assistants. We explain our long-term perspective on rigorous analysis of ensembles based on these tools for computerised mathematics and propose some preliminary results to make our methodological viewpoint more concrete.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
978-3-031-73709-1_14.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
269.56 kB
Formato
Adobe PDF
|
269.56 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
