CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2005
-
Introductory paper Special section on formal methods for industrial critical systems Article
International Journal on Software Tools for Technology Transfer, 7(3), 195-196.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.January 2005 -
Distributed state space minimization Article
International Journal on Software Tools for Technology Transfer, 7(3), 280-291.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
January 2005