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

Pascal Fontaine 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01968404
Contributor : Pascal Fontaine <>
Submitted on : Thursday, January 3, 2019 - 3:38:23 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:04 PM
Long-term archiving on : 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

Collections

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

102

Files downloads

112