Integrating SMT solvers in Rodin

David Déharbe 1 Pascal Fontaine 2 Laurent Voisin 3 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
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

Identifiers

  • HAL Id : hal-01094999, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

David Déharbe, Pascal Fontaine, Laurent Voisin, Yoann Guyot. Integrating SMT solvers in Rodin. Science of Computer Programming, Elsevier, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14. ⟨hal-01094999⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

205

Contact


archive-ouverte@inria.fr