591 citations · 697 across the 15 of their papers we have counts for
1 paper · 1 filter
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz +1
Formal methods use SMT solvers extensively for deciding formula satisfiability, for instance, in software verification, systematic test generation, and program synthesis. However,…