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

Satisfaisabilité Modulo Théories: état de l'art, contributions, projet

Pascal Fontaine (1, 2, 3)

1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
2 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 MOSEL - Proof-oriented development of computer-based systems

Mots clés: Logic; automated reasoning

Mots clés: raisonnement automatique; vérification; Logique

Domaines: Logique en informatique [cs.LO]

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