On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended 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 bu ilt for supporting such techniques. The first technique is Scalable Approximated Population DTM C Model-checking. The second one is Spatial Model-checking for Closure Spaces. Both techniq ues have been developed in the context of the EU funded project QUANTICOL.