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
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
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14
Liste complète des métadonnées
https://hal.inria.fr/hal-01094999
Contributeur : Pascal Fontaine <>
Soumis le : dimanche 14 décembre 2014 - 19:20:25
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13

Identifiants

  • 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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

157

Contact


archive-ouverte@inria.fr