Accéder directement au contenu

David Delahaye

2
Documents
Identifiants chercheurs

Présentation

Publications

964664

BCARe : un environnement pour la vérification de règles de l?Atelier B

Karim Berkani , David Delahaye , Catherine Dubois , Mélanie Jacquel , Martin Keogh
Approches Formelles dans l'Assistance au D?veloppement de Logiciels (AFADL 2012), Jan 2012, Grenoble, France. pp.46-49
Communication dans un congrès hal-01126033v1

Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover

Mélanie Jacquel , Karim Berkani , David Delahaye , Catherine Dubois
International Joint Conference on Automated Reasoning (IJCAR 2012), Jun 2012, Manchester, Ukraine. pp.332--338
Communication dans un congrès hal-01126134v1