PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D. On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended abstract. In: FORECAST 2016 - FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Vienna, Austria, 8 July 2016). Proceedings, pp. 53 - 61. (Electronic Proceedings in Theoretical Computer Science, vol. 217). EPTCS.org, 2016.
 
 
Abstract
(English)
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.
URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?FORECAST2016.7
DOI: 10.4204/EPTCS.217.7
Subject Modal Logics
Probabilistic Temporal Logics
Spatial Logics
On the Fly approximated Model Checking
Spatial Model Checking
Mean-Field Analysis
Closure Spaces
F.4.1 Mathematical Logichttp://www.acm.org/about/class/ccs98-html
D.2.4 Software/Program Verification
B.8.2 Performance Analysis and Design Aids
39-XX Difference and functional equations
60Jxx Markov processes


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