Вы здесь

Godefroid P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model Checking with Multi-Valued Logics 2004 Bruns G., Godefroid P. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.10.2004
СТ Model Checking of Unrestricted Hierarchical State Machines 2001 Benedikt M., Godefroid P., Reps T. Lecture Notes in Computer Science 28.07.2001
СТ Model Checking Partial State Spaces with 3-Valued Temporal Logics 1999 Bruns G., Godefroid P. Lecture Notes in Computer Science 16.07.1999
СТ Systematic Software Testing Using VeriSoft - An Analysis of the 4ESS Heart-Beat Monitor 1998 Godefroid P., Hanmer R. S., Jagadeesan L. J. Bell Labs Technical J. 01.08.1998
СТ Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft 1998 Godefroid P., Hanmer R. S., Jagadeesan L. J. Software Engineering Notes 30.07.1998
СТ Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs 1997 Boigelot B., Godefroid P. Lecture Notes in Computer Science 12.04.1997
СТ Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs 1996 Godefroid P., Peled D., Staskauskas M. IEEE Trans. on Software Engineering 14.11.1996
М Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem 1996 Godefroid P. Lecture Notes in Computer Science 14.02.1996
СТ Partial-Order Methods for Temporal Verification 1993 Wolper P., Godefroid P. Lecture Notes in Computer Science 19.10.1993
СТ Refining Dependencies Improves Partial-Order Verification Methods 1993 Godefroid P., Pirottin D. Lecture Notes in Computer Science 20.08.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model Checking Software: Proc./12t International SPIN Workshop. San Francisco, CA, USA, August 2005 2005 Lecture Notes in Computer Science
  1. Godefroid P.
18.10.2005