A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses

Type de document :
Article dans une revue
CERTIFIED PROGRAMS AND PROOFS, Springer, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00644216
Contributeur : Germain Faure <>
Soumis le : mercredi 23 novembre 2011 - 18:32:24
Dernière modification le : mercredi 14 novembre 2018 - 15:30:04

Identifiants

  • HAL Id : hal-00644216, version 1

Collections

Citation

Germain Faure, Chantal Keller, Thery Laurent, Gregoire Benjamin, Werner Benjamin, et al.. A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. CERTIFIED PROGRAMS AND PROOFS, Springer, 2011. 〈hal-00644216〉

Partager

Métriques

Consultations de la notice

233