David Deharbe
David Deharbe
CLEARSY
Verified email at clearsy.com - Homepage
Title
Cited by
Cited by
Year
veriT: An Open, Trustable and Efficient SMT-Solver
T Bouton, DCB de Oliveira, D Déharbe, P Fontaine
International Conference on Automated Deduction, 151-156, 2009
1922009
Light-weight theorem proving for debugging and verifying units of code
D Déharbe, S Ranise
First International Conference onSoftware Engineering and Formal Methods …, 2003
782003
SMT solvers for Rodin
D Déharbe, P Fontaine, Y Guyot, L Voisin
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
642012
Exploiting symmetry in SMT problems
D Déharbe, P Fontaine, S Merz, BW Paleo
International Conference on Automated Deduction, 222-236, 2011
412011
The 2014 SMT competition
DR Cok, D Déharbe, T Weber
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 207-242, 2014
382014
Formalizing freertos: First steps
D Déharbe, S Galvao, AM Moreira
Brazilian Symposium on Formal Methods, 101-117, 2009
362009
Integrating SMT solvers in Rodin
D Déharbe, P Fontaine, Y Guyot, L Voisin
Science of Computer Programming 94, 130-143, 2014
352014
Aspect-oriented design in systemC: implementation and applications
D Déharbe, S Medeiros
Proceedings of the 19th annual symposium on Integrated circuits and systems …, 2006
342006
Integration of SMT-solvers in B and Event-B development environments
D Déharbe
Science of Computer Programming 78 (3), 310-326, 2013
312013
Applying a formal method in industry: a 25-year trajectory
T Lecomte, D Deharbe, E Prun, E Mottin
Brazilian Symposium on Formal Methods, 70-87, 2017
292017
Computing prime implicants
D Déharbe, P Fontaine, D Le Berre, B Mazure
2013 Formal Methods in Computer-Aided Design, 46-52, 2013
292013
Model checking VHDL with CV
D Déharbe, S Shankar, EM Clarke
International Conference on Formal Methods in Computer-Aided Design, 508-514, 1998
291998
Applying light-weight theorem proving to debugging and verifying pointer programs
S Ranise, D Déharbe
Electronic Notes in Theoretical Computer Science 86 (1), 105-119, 2003
272003
Semantics of a verification-oriented subset of VHDL
D Déharbe, D Borrione
Advanced Research Working Conference on Correct Hardware Design and …, 1995
271995
Scalable automated proving and debugging of set-based specifications
JF Couchot, D Déharbe, A Giorgetti, S Ranise
Journal of the Brazilian Computer Society 9 (2), 17-36, 2003
262003
Quantifier inference rules for SMT proofs
D Deharbe, P Fontaine, BW Paleo
212011
Proving and debugging set-based specifications
JF Couchot, F Dadeau, D Déharbe, A Giorgetti, S Ranise
Electronic Notes in Theoretical Computer Science 95, 189-208, 2004
202004
Satisfiability solving for software verification
D Déharbe, S Ranise
International journal on software tools for technology transfer 11 (3), 255-260, 2009
192009
HDL-based integration of formal methods and CAD tools in the PREVAIL environment
D Borrione, H Bouamama, D Déharbe, C Le Faou, A Wahba
International Conference on Formal Methods in Computer-Aided Design, 450-467, 1996
191996
Applying a formal method in industry: a 15-year trajectory
T Lecomte
International Workshop on Formal Methods for Industrial Critical Systems, 26-34, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20