This paper focuses on the consistency analysis of specification rules expressing relationships between input and expected output of systems. We identified the link between Minimal Inconsistent Sets (MISes) of rules and Minimal Unsatisfiable Subsets (MUSes) of constraints. For practical consistency verification of rules, we developed a novel algorithm using SMT solvers for fast enumeration of MUSes. We evaluated the algorithm using publicly available benchmarks. Finally, we used the approach to verify the consistency of specifications rules extracted from real-world case studies.
CITATION STYLE
Hoang, T. S., Itoh, S., Oyama, K., Miyazaki, K., Kuruma, H., & Sato, N. (2015). Consistency verification of specification rules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9407, pp. 50–66). Springer Verlag. https://doi.org/10.1007/978-3-319-25423-4_4
Mendeley helps you to discover research relevant for your work.