Urmăriți
David Deharbe
David Deharbe
CLEARSY
Adresă de e-mail confirmată pe clearsy.com - Pagina de pornire
Titlu
Citat de
Citat de
Anul
veriT: an open, trustable and efficient SMT-solver
T Bouton, D Caminha B. de Oliveira, D Déharbe, P Fontaine
International Conference on Automated Deduction, 151-156, 2009
2722009
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
842003
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
802017
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
752012
The SMT competition 2015–2018
T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019
702019
The 2014 SMT competition
DR Cok, D Déharbe, T Weber
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 207-242, 2014
662014
Exploiting symmetry in SMT problems
D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo
International Conference on Automated Deduction, 222-236, 2011
612011
Formalizing freertos: First steps
D Déharbe, S Galvao, AM Moreira
Brazilian Symposium on Formal Methods, 101-117, 2009
572009
Integrating SMT solvers in Rodin
D Déharbe, P Fontaine, Y Guyot, L Voisin
Science of Computer Programming 94, 130-143, 2014
502014
Computing prime implicants
D Déharbe, P Fontaine, D Le Berre, B Mazure
2013 Formal Methods in Computer-Aided Design, 46-52, 2013
442013
Integration of SMT-solvers in B and Event-B development environments
D Déharbe
Science of Computer Programming 78 (3), 310-326, 2013
362013
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
362006
Model checking VHDL with CV
D Déharbe, S Shankar, EM Clarke
International Conference on Formal Methods in Computer-Aided Design, 508-514, 1998
361998
Safety analysis of a CBTC system: a rigorous approach with Event-B
M Comptier, D Déharbe, JM Perez, L Mussat, T Pierre, D Sabatier
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017
342017
Semantics of a verification-oriented subset of VHDL
D Déharbe, D Borrione
Advanced Research Working Conference on Correct Hardware Design and …, 1995
311995
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
282003
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, 17-36, 2003
272003
Quantifier inference rules for SMT proofs
D Déharbe, P Fontaine, BW Paleo
First International Workshop on Proof eXchange for Theorem Proving-PxTP 2011, 2011
262011
Using induction and BDDs to model check invariants
D Déharbe, AM Moreira
Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997
241997
Formal verification of PLC programs using the B method
H Barbosa, D Déharbe
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
232012
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20