PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ciancia V., Latella D., Loreti M., Massink M. Spatio-temporal model-checking for collective adaptive systems. In: Ada User Journal. The journal for the international Ada community, vol. 37 (4) pp. 223 - 227. Special Issue: Workshop proceedings of De-CPS 2016. Ada Europe, 2016.
 
 
Abstract
(English)
Spatial aspects of computation are becoming increasingly relevant when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of system models; however, properties of space are typically not taken into account explicitly. In this position paper we briefly review some of the recent developments of spatial and spatio-temporal model-checking in the context of the European research project QUANTICOL funded by the FET-Proactive programme on Fundamentals of Collective Adaptive Systems. We illustrate some typical applications of spatial and spatio-temporal model checking on collective adaptive systems and provide an outline for further developments.
URL: http://www.ada-europe.org/auj/archive/
Subject Modal Logics
Temporal Logics
Model Checking
F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional