Recherche

Rechercher

Accueil CEDRIC > Publications > Article > Liste >

Liste des publications

2014

Conférence Internationale avec comité de lecture

[DDM14] D. Delahaye, C. Dubois, C. MarchÃ©, D. MentrÃ©. "The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations", Abstract State Machines, Alloy, B, VDM, and Z (ABZ), June 2014, pp.-,

Directions d'ouvrages scientifiques

[DD14] D. Delahaye, C. Dubois. "Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014", June 2014, Informal proceedings,

2013

Conférences Internationales sans actes

[Bur13] G. Burel. "A Shallow Embedding of Resolution and Superposition Proofs into the Î»Î -Calculus Modulo", Third International Workshop on Proof Exchange for Theorem Proving, Lake Placid, USA,

2011

Conférence Internationale avec comité de lecture

[BCF11] A. Bosser, P. Courtieu, J. Forest, M. Cavazza. "Structural Analysis of Narratives with the Coq Proof Assistant.", Interactive theorem proving (TPHOLs), August 2011, Vol. 6898, pp.55--70, Series Lecture Notes in Computer Science, Berg en Dal, The Netherlands,
[Bur11b] G. Burel. "Experimenting with deduction modulo", 23rd International Conference on Automated Deduction, July 2011, Vol. 6803, pp.162--176, Series LNAI, Wroclaw, Poland, (DOI: 10.1007/978-3-642-22438-6_14)

Rapport Scientifique

[BCC11] A. Bosser, M. Cavazza, P. Courtieu, J. Forest. "Structural Analysis of Narratives with the Coq Proof Assistant", Date de dépot: 2011/03/01, Nb pages 16, (Tech. Rep.: CEDRIC-11-2061)