Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Satisfiability Modulo Theories: state-of-the-art, contributions, project

Pascal Fontaine 1, 2
1 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 :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [186 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01968404
Contributor : Pascal Fontaine <>
Submitted on : Thursday, January 3, 2019 - 3:38:23 PM
Last modification on : Monday, May 4, 2020 - 11:39:51 AM
Document(s) archivé(s) le : Thursday, April 4, 2019 - 1:10:59 PM

File

HDR-standalone.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01968404, version 1

Citation

Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project. Logic in Computer Science [cs.LO]. Université de lorraine, 2018. ⟨tel-01968404⟩

Share

Metrics

Record views

162

Files downloads

494