--- abstract: "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." accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - hoang.thaison.ex@hitachi.com - shinji.itoh.wn@hitachi.com - kyohei.oyama.ec@hitachi.com - kunihiko.miyazaki.zt@hitachi.com - hironobu.kuruma.zg@hitachi.com - naoto.sato.je@hitachi.com creators_name: - family: Hoang given: Thai Son honourific: '' lineage: '' - family: Itoh given: Shinji honourific: '' lineage: '' - family: Oyama given: Kyohei honourific: '' lineage: '' - family: Miyazaki given: Kunihiko honourific: '' lineage: '' - family: Kuruma given: Hironobu honourific: '' lineage: '' - family: Sato given: Naoto honourific: '' lineage: '' data_type: ~ date: 2015-01-09 date_type: ~ datestamp: 2015-01-09 04:20:00 department: ~ dir: disk0/00/00/04/65 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 465 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /465/1.hassmallThumbnailVersion/ruleval-techrep.pdf;/465/1/ruleval-techrep.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: unpub issn: ~ item_issues_comment: [] item_issues_count: ~ item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2015-04-20 11:17:51 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: technical_report note: ~ num_pieces: ~ number: ~ official_url: ~ output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: ~ publisher: N/A refereed: ~ referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 13 series: ~ skill_areas: [] source: ~ status_changed: 2015-01-09 04:20:00 subjects: - deploy_industrial_bus - deploy_method_other - deploy_tooldev_other succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Validating the Consistency of Specification Rules type: monograph userid: 16 volume: ~