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…