Author

Raphaël Monat

h-index 9 View on Semantic Scholar

We have 1 of 25 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

DueList: A Theory of Lists with Combinators for SMT Solvers

This work introduces DueList, an abstraction-refinement approach geared towards list reasoning, which is implemented on top of off-the-shelf SMT solvers and extends reasoning facilities of existing solvers, allowing to conclude about the (un)satisfiability of a larger range of problems, while outperforming existing sol...

Pierre Goutagny, Aymeric Fromherz, Raphaël Monat · 0 citations