Analysis of a distributed system for lifting trucks

Groote, Jan Friso; Pang, J.; Wouters, A.G.

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.

Additional Metadata
ACM	Requirements/Specifications (acm D.2.1)
MSC	Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30)
THEME	Software (theme 1)
Publisher	CWI
Series	Software Engineering [SEN]
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J. F., Pang, J., & Wouters, A. G. (2001). Analysis of a distributed system for lifting trucks. Software Engineering [SEN]. CWI.

Free Full Text ( Final Version , 275kb )

Analysis of a distributed system for lifting trucks

Publication

Publication

Address

CWI researchers

Questions or comments?

Analysis of a distributed system for lifting trucks

Publication

Publication

Workflow

Workflow

Add Content