Towards formal modelling and verification of pervasive computing systems

Towards formal modelling and verification of pervasive computing systems

Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging...

Full description

Saved in:
Bibliographic Details
Main Authors: LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2014
Subjects:
Model Check
Linear Temporal Logic
Liveness Property
Ambient Assist Live
Linear Temporal Logic Formula
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4981
https://ink.library.smu.edu.sg/context/sis_research/article/5984/viewcontent/10.1007_978_3_662_44871_7.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4981
https://ink.library.smu.edu.sg/context/sis_research/article/5984/viewcontent/10.1007_978_3_662_44871_7.pdf

Similar Items