HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Integrating SMT solvers in Rodin

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01094999
Contributor : Pascal Fontaine Connect in order to contact the contributor
Submitted on : Sunday, December 14, 2014 - 7:20:25 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM

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

76