A Balancing Act: Analyzing a Distributed Lift System
Jan Friso Groote, Jun Pang, A. G. Wouters, Karelse, F. · TU/e Research Portal · 2001
The process-algebraic language mcrl is used to analyze an existing distributed system for lifting trucks. Four errors were 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.