Searching for authors named "Patrice Godefroid" – sorted by Relevance.
49 documents found, showing 1 through 10.
Next 10 →
-
On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems
- … Patrice Godefroid Proceedings of DIMACS Workshop on Partial-Order Methods in Verification, AMS, Princeton…
- Cited by 10 (0 self) – Add To MetaCart
-
Exploiting Symmetry When Model-Checking Software (Extended Abstract)
- …EXPLOITING SYMMETRY WHEN MODEL-CHECKING SOFTWARE (EXTENDED ABSTRACT) Patrice Godefroid Bell…
- Cited by 9 (1 self) – Add To MetaCart
-
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
- …VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software Patrice Godefroid June…
- Cited by 20 (0 self) – Add To MetaCart
-
Model checking vs. generalized model checking: Semantic minimizations for temporal logics
- … Godefroid Bell Laboratories, Lucent Technologies 2701 Lucent Lane, Lisle, IL 60532 god…
- Cited by 3 (1 self) – Add To MetaCart
-
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem
- … of Concurrent Systems An Approach to the State-Explosion Problem Th`ese pr'esent'ee par Patrice Godefroid en…
- Cited by 179 (11 self) – Add To MetaCart
-
Model Checking for Programming Languages using VeriSoft
- …Model Checking for Programming Languages using VeriSoft Patrice Godefroid Bell Laboratories Lucent…
- Cited by 242 (9 self) – Add To MetaCart
-
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
- … Boigelot 1? and Patrice Godefroid 2 1 Universit'e de Li`ege Institut Montefiore, B28 B-4000 Li`ege Sart…
- Cited by 15 (2 self) – Add To MetaCart
-
On The Expressiveness of 3-Valued Models
- …On The Expressiveness of 3-Valued Models Patrice Godefroid 1 and Radha Jagadeesan ?2 1 Bell…
- Cited by 18 (1 self) – Add To MetaCart
-
Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract)
- … and Patrice Godefroid Bell Laboratories, Lucent Technologies fgrb,godg@(email omitted); Abstract. We address…
- Cited by 65 (6 self) – Add To MetaCart
-
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract)
- …-Tilman, Belgium Email: boigelot@(email omitted); Patrice Godefroid Lucent Technologies -- Bell Laboratories…
- Cited by 66 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
