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.
No takes yet. Share an insight, caveat, or question.
Coronato et al. (2011) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: