Philip Gray
YOU?
Author Swipe
View article: Towards the Verification of Pervasive Systems
Towards the Verification of Pervasive Systems Open
Pervasive systems, that is roughly speaking systems that can interact with their environment, are increasingly common. In such systems, there are many dimensions to assess: security and reliability, safety and liveness, real-time response,…
View article: Tightly coupled verification of pervasive systems
Tightly coupled verification of pervasive systems Open
We consider the problem of verifying context-aware, pervasive, interactive systems when the interaction involves both system configuration and system use. Verification of configurable systems is more tightly coupled to design when the veri…