Formal Modeling and Verification of Context-Aware Systems using Event-B
Hong Anh Le, Ninh Thuan Truong · EAI Endorsed Transactions on Context-aware Systems and Applications · 2014
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a fo