Automated Contradiction Detection in High-Level Requirements Using SAT-Solver Analysis During the Review Process

This study presents a method to automate the analysis of inconsistencies among high-level requirements by utilizing data from a data dictionary and employing a SAT-Solver during the review process.