Results 1 -
2 of
2
Analysis of a distributed system for lifting trucks
- THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
, 2003
"... ..."
A Balancing Act: Analyzing a Distributed Lift System
- IN S. GNESI AND U. ULTES-NITSCHE, EDS, PROCEEDINGS 6TH WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS'2001
, 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. ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
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.
