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 / Perini Brogi, Cosimo; Maggesi, Marco. - ELETTRONICO. - 15219:(2025), pp. 223-237. (Intervento presentato al convegno 12th International Symposium, ISoLA 2024 tenutosi a Crete, Greece nel October 27–31, 2024) [10.1007/978-3-031-73709-1_14].
Analysing Collective Adaptive Systems by Proving Theorems
Perini Brogi, Cosimo;Maggesi, Marco
2025
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 | Dimensione | Formato | |
|---|---|---|---|
|
REoCASColloquium_Paper28.pdf
Accesso chiuso
Tipologia:
Preprint (Submitted version)
Licenza:
Tutti i diritti riservati
Dimensione
368.62 kB
Formato
Adobe PDF
|
368.62 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
