David Déharbe

Available identifiers

zbMath Open deharbe.davidMaRDI QIDQ436374

List of research outcomes

Publication	Date of Publication	Type
Combining Decision Procedures by (Model-)Equality Propagation	2015-03-19	Paper
Verified Compilation and the B Method: A Proposal and a First Appraisal	2015-03-19	Paper
Distributing the workload in a lazy theorem-prover	2014-01-17	Paper
Explicit-symbolic modelling for formal verification	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

This page was built for person: David Déharbe