 |
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
Clark Barrett 1
Author Employer institution : New York University [New York]
Leonardo de Moura 2
Author
Pascal Fontaine 3
Author IdHAL : pascal-fontaine
1
NYU - New York University [New York] (70 Washington Square South, New York, NY 10012 - United States)
- NYU - NYU System (United States)
2
Microsoft Research [Redmond] (One Microsoft Way, Redmond, WA 98052, USA - United States)
- Microsoft Corporation [Redmond, Wash.] (United States)
3
VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (France)
- MPII - Max-Planck-Institut für Informatik (Campus E-1 4, 66123 Saarbrücken, Germany - Germany)
- Max-Planck-Gesellschaft (Jägerstrasse, 10-11, D-10117 Berlin - Germany)
- Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LORIA - FM - Department of Formal Methods (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01095009
Contributor : Pascal Fontaine <>
Submitted on : Sunday, December 14, 2014 - 7:56:15 PM
Last modification on : Monday, November 16, 2020 - 12:00:07 PM
Contributor : Pascal Fontaine <>
Submitted on : Sunday, December 14, 2014 - 7:56:15 PM
Last modification on : Monday, November 16, 2020 - 12:00:07 PM
Identifiers
- HAL Id : hal-01095009, version 1
Collections
CNRS | INRIA | UNIV-LORRAINE | LORIA-FM | LORIA
Citation
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⟩
Metrics
Record views