David Déharbe

Available identifiers

zbMath Open deharbe.davidMaRDI QIDQ436374

List of research outcomes

Publication	Date of Publication	Type
Verified Compilation and the B Method: A Proposal and a First Appraisal	2015-03-19	Paper
Combining Decision Procedures by (Model-)Equality Propagation	2015-03-19	Paper
Distributing the Workload in a Lazy Theorem-Prover	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2848454	2013-09-26	Paper
Integration of SMT-solvers in B and Event-B development environments	2013-06-06	Paper
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs	2013-04-19	Paper
Combining decision procedures by (model-)equality propagation	2012-07-20	Paper
Exploiting Symmetry in SMT Problems	2011-07-29	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
Manipulating algebraic specifications with term-based and graph-based representations	2004-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808748	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4440828	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4493882	2001-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4028156	1993-03-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Déharbe