View of Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study

Return to Article Details Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study Download Download PDF