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
Type de document :
HDR
Logic in Computer Science [cs.LO]. Université de lorraine, 2018
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01968404
Contributeur : Pascal Fontaine <>
Soumis le : jeudi 3 janvier 2019 - 15:38:23
Dernière modification le : mardi 19 février 2019 - 15:40:04

Fichier

HDR-standalone.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

52