A balancing act : analyzing a distributed lift system

J.F. Groote, J. Pang, A.G. Wouters

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

60 Downloads (Pure)


The process-algebraic language µcrl 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.
Original languageEnglish
Title of host publicationProceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001)
EditorsF. Karelse
Place of PublicationUtrecht
PublisherSTW Technology Foundation
ISBN (Print)90-73461-26-X
Publication statusPublished - 2001


Dive into the research topics of 'A balancing act : analyzing a distributed lift system'. Together they form a unique fingerprint.

Cite this