Searching for authors named "Radhia Cousot" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Constructive Versions Of Tarski's Fixed Point Theorems
- … POINT THEOREMS PATRICK COUSOT AND RADHIA COUSOT Let F be a monotone operator on the complete lattice L…
- Cited by 30 (4 self) – Add To MetaCart
-
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
- …@(email omitted); and Radhia Cousot 2 rcousot@(email omitted); 1 LIENS, ' Ecole Normale Sup'erieure, 45 rue d…
- Cited by 19 (7 self) – Add To MetaCart
-
Abstract interpretation of algebraic polynomial systems
- … and Radhia Cousot 2 1 LIENS, Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris cedex 05, France cousot…
- Cited by 4 (1 self) – Add To MetaCart
-
Cousot: On Abstraction
- … Normale d'Ulm Superieure Radhia Cousot LIX, Ecole Polytechnique 75230 cousot@(email omitted); Paris cedex 05…
- Cited by 3 (1 self) – Add To MetaCart
-
Verification of Embedded Software: Problems and Perspectives
- …Verification of Embedded Software: Problems and Perspectives # Patrick Cousot 1 and Radhia…
- Cited by 3 (0 self) – Add To MetaCart
-
Relational Abstract Interpretation of Higher-Order Functional Programs (Extended Abstract)
- … Interpretation of Higher Order Functional Programs (extended abstract) Patrick Cousot & Radhia Cousot LIX, URA…
- Cited by 3 (1 self) – Add To MetaCart
-
Refining Model Checking by Abstract Interpretation
- …. Manufactured in The Netherlands. Refining Model Checking by Abstract Interpretation PATRICK COUSOT RADHIA…
- Cited by 32 (4 self) – Add To MetaCart
-
On abstraction in software verification
- …On Abstraction in Software Verification ‹ Patrick Cousot 1 and Radhia Cousot 2 1 École normale…
- Cited by 6 (1 self) – Add To MetaCart
-
Modular Static Program Analysis
- …Modular Static Program Analysis ⋆ Patrick Cousot 1 and Radhia Cousot 2 1 École normale supérieure…
- Cited by 13 (0 self) – Add To MetaCart
-
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation
- … Patrick COUSOT LIENS, ' Ecole Normale Sup'erieure 75230 Paris cedex 05, France cousot@(email omitted); Radhia…
- Cited by 62 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
