Sylvain Conchon

Available identifiers

Publication	Date of Publication	Type
A three-tier strategy for reasoning about floating-point numbers in SMT	2022-08-12	Paper
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker	2021-06-04	Paper
Parameterized model checking on the TSO weak memory model	2020-11-02	Paper
A non-linear arithmetic procedure for control-command software verification	2019-09-16	Paper
Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory	2018-10-18	Paper
Adding decision procedures to SMT solvers using axioms with triggers	2016-05-26	Paper
Information flow inference for free	2015-09-11	Paper
\textsf{CC(X)}: semantic combination of congruence closure with solvable theories	2013-12-06	Paper
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation	2012-09-25	Paper
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic	2012-09-05	Paper
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories	2011-05-19	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme	2010-01-07	Paper
Semi-persistent Data Structures	2008-04-11	Paper
Strategies for combining decision procedures	2006-04-28	Paper
Canonization for disjoint unions of theories	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4417954	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2763675	2002-01-21	Paper

This page was built for person: Sylvain Conchon