Centrum Wiskunde & Informatica

Introductory paper Special section on formal methods for industrial critical systems Article

International Journal on Software Tools for Technology Transfer, 7(3), 195-196.

T. Arts and J.C. van de Pol (Jaco)

January 2005
Verification of a sliding window protocol in $\mu$ CRL and PVS Article

Formal Aspects of Computing, 17(3), 342-388.

B. Badban (Bahareh), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2005
Analysing the BKE-security protocol with $\mu$CRL In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), S. Mauw (Sjouke) and A. Serebrenik (Alexander)

January 2005
A distributed algorithm for strong bisimulation reduction of state spaces Article

International Journal on Software Tools for Technology Transfer, 7(1), 74-86.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Distributed state space minimization Article

International Journal on Software Tools for Technology Transfer, 7(3), 280-291.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Journal of Logic and Algebraic Programming, 65(2), 51-104.

A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al

January 2005
Formal analysis of a fair payment protocol In Proceedings

J.G. Cederquist and M.T. Dashti (Mohammad)

January 2005
On the bisimulation congruence in chi-calculus In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2005

Publication

Introductory paper Special section on formal methods for industrial critical systems Article

Verification of a sliding window protocol in $\mu$ CRL and PVS Article

Analysing the BKE-security protocol with $\mu$CRL In Proceedings

A distributed algorithm for strong bisimulation reduction of state spaces Article

Distributed state space minimization Article

Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Formal analysis of a fair payment protocol In Proceedings

On the bisimulation congruence in chi-calculus In Proceedings

Address

CWI researchers

Questions or comments?

Publication

Introductory paper Special section on formal methods for industrial critical systems Article

Verification of a sliding window protocol in $\mu$ CRL and PVS Article

Analysing the BKE-security protocol with $\mu$CRL In Proceedings

A distributed algorithm for strong bisimulation reduction of state spaces Article

Distributed state space minimization Article

Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Formal analysis of a fair payment protocol In Proceedings

On the bisimulation congruence in chi-calculus In Proceedings

Workflow

Workflow

Add Content