The process-algebraic language muCRL is used to analyse an existing distributed system for lifting trucks. Four errors are found in the original design. We propose solutions for these problems and show by means of model-checking that the modified system meets the requirements.

Requirements/Specifications (acm D.2.1)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30)
Software (theme 1)
Software Engineering [SEN]
Computer Security

Groote, J.F, Pang, J, & Wouters, A.G. (2001). Analysis of a distributed system for lifting trucks. Software Engineering [SEN]. CWI.