Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver

Simge Yatkın, Tolga Ovatman

DO-178C stands out as a guiding standard for aviation system development processes. This standard not only mandates ensuring the consistency of requirements in the software verific…