no code implementations • 13 Apr 2020 • Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Formal methods use SMT solvers extensively for deciding formula satisfiability, for instance, in software verification, systematic test generation, and program synthesis.
Software Engineering
