Benabbou, Amel and Bahloul, Safia Nait and Philippe, Dhaussy (2016) Context-aware approach for formal verification. EAI Endorsed Transactions on Context-aware Systems and Applications.
![[thumbnail of 22839.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "22839.pdf")
PDF
22839.pdf
Download (1MB)
Abstract
The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts. In this area, specifying precise requirement is a challenged task for engineer since often environmental condition
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 10:40 |
| Last Modified: | 12 Apr 2026 10:03 |
| URI: | http://eprints.eai.eu/id/eprint/14235 |
Actions (login required)
- View Item