Integrating SMT solvers in Rodin

Document type :
Journal articles
Liste complète des métadonnées

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

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⟩

Share

Metrics

Record views

180