io-port.net

io-port 10000650 Godefroid, Patrice

Partial-order methods for the verification of concurrent systems - an approach to the state-explosion problem (English)

Lecture Notes in Computer Science 1032 (1996).

81

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70170434 Godefroid, Patrice; Peled, Doron; Staskauskas, Mark G.

Using partial-order methods in the formal validation of industrial concurrent programs (English)

ISSTA, 261-269 (1996).

82

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70611964 Boigelot, Bernard; Godefroid, Patrice

Model checking in practice: an analysis of the access.bus protocol using SPIN (English)

FME, 465-478 (1996).

83

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70759756 Boigelot, Bernard; Godefroid, Patrice

Symbolic verification of communication protocols with infinite state spaces using qdds (Extended abstract) (English)

CAV, 1-12 (1996).

84

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70803259 Godefroid, Patrice; Long, David E.

Symbolic protocol verification with queue bdds (English)

LICS, 198-206 (1996).

85

PDF XML AMS-TeX TEXT BIBTeX

io-port 05479849 Godefroid, Patrice; Holzmann, Gerhard J.; Pirottin, Didier

State-space caching revisited. (English)

Form. Methods Syst. Des. 7, No. 3, 227-241 (1995).

Classification: F.1.1 D.2.4

86

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 00590744 Godefroid, Patrice; Wolper, Pierre

A partial approach to model checking. (English)

Inf. Comput. 110, No.2, 305-326 (1994).

87

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 00205353 Godefroid, Patrice; Wolper, Pierre

Using partial orders for the efficient verification of deadlock freedom and safety properties. (English)

Form. Methods Syst. Des. 2, No.2, 149-164 (1993).

88

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70005146 Wolper, Pierre; Godefroid, Patrice

Partial-order methods for temporal verification (English)

CONCUR, 233-246 (1993).

89

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70591539 Godefroid, Patrice; Holzmann, Gerard J.

On the verification of temporal properties (English)

PSTV, 109-124 (1993).

90

PDF XML AMS-TeX TEXT BIBTeX

io-port 70759996 Godefroid, Patrice; Pirottin, Didier

Refining dependencies improves partial-order verification methods (Extended abstract) (English)

CAV, 438-449 (1993).

91

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70591557 Holzmann, Gerard J.; Godefroid, Patrice; Pirottin, Didier

Coverage preserving reduction strategies for reachability analysis (English)

PSTV, 349-363 (1992).

92

PDF XML AMS-TeX TEXT BIBTeX

io-port 70760179 Godefroid, Patrice; Holzmann, Gerard J.; Pirottin, Didier

State-space caching revisited (English)

CAV, 178-191 (1992).

93

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 00177513 Godefroid, Patrice

Using partial orders to improve automatic verification methods. (Extended abstract). (English)

Computer-aided verification, Proc. 2nd Int. Conf., CAV ’90, New Brunswick/NJ (USA), Lect. Notes Comput. Sci. 531, 176-185 (1991).

94

PDF XML AMS-TeX TEXT BIBTeX

io-port 00177254 Godefroid, Patrice

Using partial orders to improve automatic verification methods. (English)

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 321-340 (1991).

95

PDF XML AMS-TeX TEXT BIBTeX

io-port 70759999 Godefroid, Patrice; Wolper, Pierre

Using partial orders for the efficient verification of deadlock freedom and safety properties (English)

CAV, 332-342 (1991).

96

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70802506 Godefroid, Patrice; Wolper, Pierre

A partial approach to model checking (English)

LICS, 406-415 (1991).

97

PDF XML AMS-TeX TEXT BIBTeX

io-port 70985424 Godefroid, Patrice; Kabanza, Froduald

An efficient reactive planner for synthesizing reactive plans (English)

AAAI, 640-645 (1991).

98

PDF XML AMS-TeX TEXT BIBTeX

io-port 70759809 Godefroid, Patrice

Using partial orders to improve automatic verification methods (English)

CAV, 176-185 (1990).

99

PDF XML AMS-TeX TEXT BIBTeX DOI