|
СТ |
Refining Dependencies Improves Partial-Order Verification Methods |
1993 |
Godefroid P., Pirottin D. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Partial-Order Methods for Temporal Verification |
1993 |
Wolper P., Godefroid P. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
М |
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 |
|
СТ |
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 |
|
СТ |
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs |
1997 |
Boigelot B., Godefroid P. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
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 |
|
СТ |
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 Partial State Spaces with 3-Valued Temporal Logics |
1999 |
Bruns G., Godefroid P. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Model Checking of Unrestricted Hierarchical State Machines |
2001 |
Benedikt M., Godefroid P., Reps T. |
|
|
|
Lecture Notes in Computer Science |
28.07.2001 |
|
СТ |
Model Checking with Multi-Valued Logics |
2004 |
Bruns G., Godefroid P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.10.2004 |
