Lucas C. Cordeiro. Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. In 10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021 - Companion Volume. pages 8-9, Brazilian Computing Society, 2021. [doi]
Abstract is missing.