Analysis of a distributed system for lifting trucks

Authors:
Jan F Groote;J. Pang;A. G. Wouters
Affiliations:
-;-;-
Venue:
Analysis of a distributed system for lifting trucks
Year:
2001

Citing 0
Cited 1

µCRL: A Toolset for Analysing Algebraic Specifications

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.