A process algebra based verification of a production system

J.J.T. Kleijn, M.A. Reniers, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)


Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis and a modular approach to the analysis of systems. We present a case study in which a model of an industrial system is studied in a formal way. For this purpose, the model is first specified and simulated using the CSP-based executable specification language chi . The model is translated into a model in the process algebra ACP/sup T/. This enables us to give a correctness proof of the parameterised model and to study the model in isolation
Original languageEnglish
Title of host publicationProceedings 2nd IEEE International Conference on Formal Engineering Methods (Brisbane, Queensland, Australia, December 9-11, 1998)
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
ISBN (Print)0-8186-9198-0
Publication statusPublished - 1998


Dive into the research topics of 'A process algebra based verification of a production system'. Together they form a unique fingerprint.

Cite this