Searching for authors named David Cachera – sorted by Relevance.
-
Embedding of Systems of Affine Recurrence Equations in Coq
- Embedding of Systems of Affine Recurrence Equations in Coq David Cachera and David Pichardie IRISA
- Cited by 2 (1 self) – Add To MetaCart
-
Verification of safety properties for parameterized regular systems, in "Trans
- Verification of Safety Properties for Parameterized Regular Systems DAVID CACHERA and KATELL MORIN
- Cited by 1 (0 self) – Add To MetaCart
-
Certified memory usage analysis
- Certified Memory Usage Analysis David Cachera 1 , Thomas Jensen 2 , David Pichardie 1
- Cited by 15 (2 self) – Add To MetaCart
-
Extracting a Data Flow Analyser in Constructive Logic
- Extracting a Data Flow Analyser in Constructive Logic David Cachera, Thomas Jensen, David
- Cited by 26 (4 self) – Add To MetaCart
-
Proving Data-Parallel Programs: A Unifying Approach
- AUTOMATIQUE Proving data-parallel programs: a unifying approach David Cachera, Gil Utard N 3032 Novembre
- Add To MetaCart
-
A logical framework to prove properties of ALPHA programs
- version) Luc Boug'e , David Cachera Th`eme 1 --- R'eseaux et syst`emes Projet ReMaP Rapport de
- Cited by 2 (2 self) – Add To MetaCart
-
Proof Tactics for the Verification of Structured Systems of Affine Recurrence Equations
- EQUATIONS DAVID CACHERA AND DAVID PICHARDIE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTMES ALATOIRES
- Add To MetaCart
-
A Logical Framework to Prove Properties of
- AUTOMATIQUE A logical framework to prove properties of Alpha programs Luc Bouge, David Cachera N 3031
- Add To MetaCart
-
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language
- language Luc Bouge, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot N 3033 Novembre 1996 TH EME
- Cited by 2 (1 self) – Add To MetaCart

