David Cachera

Available identifiers

zbMath Open cachera.davidMaRDI QIDQ1389679

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5151034	2021-02-16	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology	2019-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5377470	2019-05-24	Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology	2018-01-04	Paper
An omega-Algebra for Real-Time Energy Problems	2017-07-13	Paper
A Certified Denotational Abstract Interpreter	2010-09-14	Paper
Embedding of Systems of Affine Recurrence Equations in Coq	2010-05-07	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Formal validation of data-parallel programs: a two-component assertional proof system for a simple language	1998-06-30	Paper

Research outcomes over time

This page was built for person: David Cachera