Skip to Main content Skip to Navigation
Conference papers

Proofs in satisfiability modulo theories

Clark Barrett 1 Leonardo de Moura 2 Pascal Fontaine 3
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadata
Contributor : Pascal Fontaine Connect in order to contact the contributor
Submitted on : Sunday, December 14, 2014 - 7:56:15 PM
Last modification on : Tuesday, October 19, 2021 - 11:05:59 AM


  • HAL Id : hal-01095009, version 1



Clark Barrett, Leonardo de Moura, Pascal Fontaine. Proofs in satisfiability modulo theories. APPA (All about Proofs, Proofs for All), Jul 2014, Vienna, Austria. ⟨hal-01095009⟩



Les métriques sont temporairement indisponibles