On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.

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 built for supporting such techniques. The first...

Full description

Bibliographic Details
Main Author: Diego Latella
Format: Article
Language:English
Published: Open Publishing Association 2016-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1607.02233v1
id doaj-28f6975858224a0d83ca3876de32827f
record_format Article
spelling doaj-28f6975858224a0d83ca3876de32827f2020-11-24T23:28:53ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-07-01217Proc. FORECAST 2016536110.4204/EPTCS.217.7:7On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.Diego Latella0 CNR-ISTI 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.http://arxiv.org/pdf/1607.02233v1
collection DOAJ
language English
format Article
sources DOAJ
author Diego Latella
spellingShingle Diego Latella
On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.
Electronic Proceedings in Theoretical Computer Science
author_facet Diego Latella
author_sort Diego Latella
title On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.
title_short On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.
title_full On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.
title_fullStr On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.
title_full_unstemmed On Formal Methods for Collective Adaptive System Engineering. Scalable Approximated, Spatial Analysis Techniques. Extended Abstract.
title_sort on formal methods for collective adaptive system engineering. scalable approximated, spatial analysis techniques. extended abstract.
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2016-07-01
description 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.
url http://arxiv.org/pdf/1607.02233v1
work_keys_str_mv AT diegolatella onformalmethodsforcollectiveadaptivesystemengineeringscalableapproximatedspatialanalysistechniquesextendedabstract
_version_ 1725547361152794624

Similar Items