Symbolic verification of event–condition–action rules in intelligent environments

Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos, Mostarda, Leonardo and Raimondi, Franco (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments . ISSN 2199-4668 (doi:10.1007/s40860-017-0036-z)

[img]
Preview
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
Depositing User: Jennifer Basford
Date Deposited: 08 May 2017 13:09
Last Modified: 03 Apr 2019 05:33
URI: https://eprints.mdx.ac.uk/id/eprint/21798

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year