Searching for authors named David Cachera – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
