Integrating SMT solvers in Rodin - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Science of Computer Programming Année : 2014

Integrating SMT solvers in Rodin

Domaines

Logique en informatique [cs.LO]

Pascal Fontaine  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01094999

Soumis le : dimanche 14 décembre 2014-19:20:25

Dernière modification le : lundi 2 décembre 2024-17:46:02

Fichier non déposé

Dates et versions

hal-01094999 , version 1 (14-12-2014)

Identifiants

  • HAL Id : hal-01094999 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
93 Consultations
0 Téléchargements

Partager

More