Document - Spatio-temporal model-checking for collective adaptive systems

2016

Journal article Open Access

Spatio-temporal model-checking for collective adaptive systems

Ciancia V., Latella D., Loreti M., Massink M.

Modal Logics Temporal Logics Model Checking

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.

Source: Ada user journal 37 (2016): 223–227.

Publisher: IOS Press, York , Paesi Bassi

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:365221,
	title = {Spatio-temporal model-checking for collective adaptive systems},
	author = {Ciancia V. and Latella D. and Loreti M. and Massink M.},
	publisher = {IOS Press, York , Paesi Bassi},
	journal = {Ada user journal},
	volume = {37},
	pages = {223–227},
	year = {2016}
}