Formal Specification and Verification of Ubiquitous and Pervasive Systems

Key Points

Key points are not available for this paper at this time.

Abstract

This article presents a methodology to formally express requirements in safety-critical ubiquitous and pervasive applications in order to achieve a higher degree of dependability. In particular, it will be shown how it is possible to formalize and constrict mobility characteristics by combining and extending several formal methods. The article also discusses some issues concerning both static and dynamic verification.

Connected Papers

Building similarity graph...

Analyzing shared references across papers

Discussion

Authors

Antonio Coronato

Indian Council of Agricultural Research

Giuseppe De Pietro

Institute for High Performance Computing and Networking

Journals

ACM Transactions on Autonomous and Adaptive Systems

Actions

Institutions

Interactions, Corpus, Apprentissages, Représentations

References and Citations

Connected Papers

Building similarity graph...

Analyzing shared references across papers

Discussion

Cite this study

Coronato et al. (Tue,) studied this question.

synapsesocial.com/papers/6a18445f3275b64d0e6fb77e — DOI: https://doi.org/10.1145/1921641.1921650

Also consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

Formal specification of wireless and pervasive healthcare applications· 2010 · 43 citations
Formal verification of component-based designs· 2007 · 21 citations
Event-based runtime verification of java programs· 2005 · 35 citations
A really temporal logic· 1994 · 504 citations
Formal methods application: an empirical tale of software development· 2002 · 78 citations

Also consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

Formal specification of wireless and pervasive healthcare applications· 2010 · 43 citations
Formal verification of component-based designs· 2007 · 21 citations
Event-based runtime verification of java programs· 2005 · 35 citations
A really temporal logic· 1994 · 504 citations
Formal methods application: an empirical tale of software development· 2002 · 78 citations

Formal Specification and Verification of Ubiquitous and Pervasive Systems

Key Points

Abstract

Citation Network

Connected Papers

Discussion

Authors

Journals

Actions

Institutions

References and Citations

Citation Network

Connected Papers

Discussion

Cite this study

Also consider

Also consider