Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
DueList: A Theory of Lists with Combinators for SMT Solvers
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…
cs.PL2024
CUTECat: Concolic Execution for Computational Law
Pierre Goutagny, Aymeric Fromherz, Raphaël Monat
Many legal computations, including the amount of tax owed by a citizen, whether they are eligible to social benefits, or the wages due to civil state servants, are specified by com…