- Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN
- Temporal Logic Query Checking (Extended Abstract)
- Formal Methods in System Design, , 1--21 (1997) fl 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
- Systematic Software Testing using VeriSoft: An Analysis of the 4ESS
- Model Checking Without a Model: An Analysis of the HeartBeat Monitor of a
- Software Model Checking: The VeriSoft Approach Patrice Godefroid
- Symmetry and Reduced Symmetry In Model Checking
- Formal Methods in System Design, , 1--17 (1997) fl 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Ensuring Privacy in Presence Awareness Systems: An Automated Verification Approach
- StateSpace Caching Revisited Patrice Godefroid, Gerard Holzmann and Didier Pirottin
- ThreeValued Abstractions of Games: Uncertainty, but with Precision Luca de Alfaro \Lambda Patrice Godefroid y Radha Jagadeesan z
- Automatic Abstraction Using Generalized Model Checking
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Automatically Closing Open Reactive C. Colby, P. Godefroid and L. J. Jagadeesan
- UNIVERSITE DE LIEGE Facult'e des Sciences Appliqu'ees
- VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
- Systematic Software Testing using VeriSoft: An Analysis of the 4ESS HeartBeat Monitor
- IFM 2005 Page 1 November 2005 Software Model Checking:Software Model Checking
- LICS'2005 Page 1 June 2005 Model Checking Vs. Generalized Model Checking:Model Checking Vs. Generalized Model Checking
- Compositional Dynamic Test Generation (Preliminary Version July 14, 2006)
- Model Checking for Programming Languages using VeriSoft Patrice Godefroid
- Reasoning about Abstract Open Systems with Generalized Module Checking
- Model Checking of Unrestricted Hierarchical State Machines
- Project for CS399: Development and Testing of
- Model Checking for Programming Languages using VeriSoft
- On The Expressiveness of 3Valued Models Patrice Godefroid 1 and Radha Jagadeesan ?2
- Using PartialOrder Methods in the Formal Validation of Industrial Concurrent
- Model Checking with MultiValued Logics Glenn Bruns Patrice Godefroid
