Integrating SMT solvers in Rodin

David Déharbe; Pascal Fontaine; Laurent Voisin; Yoann Guyot

Integrating SMT solvers in Rodin

David Déharbe ¹ Pascal Fontaine ² Laurent Voisin ³ Yoann Guyot ^{4, 3}

1 UFRN - Universidade Federal do Rio Grande do Norte [Natal]

2 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

3 Systerel

4 CETIC asbl - Centre d’Excellence en Technologies de l’Information et de la Communication

Document type :

Journal articles

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadatas

https://hal.inria.fr/hal-01094999
Contributor : Pascal Fontaine <>
Submitted on : Sunday, December 14, 2014 - 7:20:25 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Integrating SMT solvers in Rodin

Identifiers

Collections

Citation

Export

Metrics

210

Contact

Integrating SMT solvers in Rodin

Identifiers

Collections

Citation

Export

Share

Metrics

210

Contact