27 citations · 33 across the 9 of their papers we have counts for
1 paper · 2 filters
Pierre Goutagny, Aymeric Fromherz, Raphaël Monat
Formal verification tools commonly rely on SMT solvers to automatically reason about programs, leveraging a range of logical theories, e.g., linear integer arithmetic, arrays, or s…