TY  - UNPB
ID  - deploy465
UR  - http://deploy-eprints.ecs.soton.ac.uk/465/
A1  - Hoang, Thai Son
A1  - Itoh, Shinji
A1  - Oyama, Kyohei
A1  - Miyazaki, Kunihiko
A1  - Kuruma, Hironobu
A1  - Sato, Naoto
Y1  - 2015/01/09/
N2  - This paper focuses on the consistency analysis of specification rules, those expressing relationships between input and expected output of systems. We identify the link between Minimal Inconsistent Sets (MISes) of rules and Minimal Unsatisfiable Subsets (MUSes) of constraints. Furthermore, we develop a novel algorithm using SMT solvers for fast enumeration of MUSes, an essential component for practical validation of rules' consistency. We evaluate the algorithm using publicly available benchmarks. Finally, we apply our developed technique to check consistency of specifications rules of examples extracted from actual case studies.
PB  - N/A
TI  - Validating the Consistency of Specification Rules
M1  - technical_report
AV  - public
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>