Symbolic verification of event–condition–action rules in intelligent environments
Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2017)
Symbolic verification of event–condition–action rules in intelligent environments.
Journal of Reliable Intelligent Environments, 3
(2)
.
pp. 117-130.
ISSN 2199-4668
[Article]
(doi:10.1007/s40860-017-0036-z)
|
PDF
- Final accepted version (with author's formatting)
Download (471kB) | Preview |
Abstract
In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We compare our approach with previous work in a detailed evaluation section, showing how it improves both performance and expressivity of the language for event–condition–action rules.
| Item Type: | Article |
|---|---|
| Research Areas: | A. > School of Science and Technology A. > School of Science and Technology > Computer Science |
| Item ID: | 21798 |
| Notes on copyright: | This is a post-peer-review, pre-copyedit version of an article published in Journal of Reliable Intelligent Environments. The final authenticated version is available online at: http://dx.doi.org/10.1007/s40860-017-0036-z |
| Useful Links: | |
| Depositing User: | Jennifer Basford |
| Date Deposited: | 08 May 2017 13:09 |
| Last Modified: | 29 Nov 2022 20:43 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/21798 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)