On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract
Logic in Computer Science
2016-07-11 v1 Performance
Software Engineering
Abstract
In this extended abstract a view on the role of Formal Methods in System Engineering is briefly presented. Then two examples of useful analysis techniques based on solid mathematical theories are discussed as well as the software tools which have been built for supporting such techniques. The first technique is Scalable Approximated Population DTMC Model-checking. The second one is Spatial Model-checking for Closure Spaces. Both techniques have been developed in the context of the EU funded project QUANTICOL.
Cite
@article{arxiv.1607.02233,
title = {On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract},
author = {Diego Latella},
journal= {arXiv preprint arXiv:1607.02233},
year = {2016}
}
Comments
In Proceedings FORECAST 2016, arXiv:1607.02001