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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 2 cited

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…