IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model checking of control-finite CSP programs

Author(s): Asai, K. ; Matsuoka, S. ; Yonezawa, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Wailea, HI, USA
Conference Date: 8 January 1993
Volume: ii
ISBN (Paper): 0-8186-3230-5
DOI: 10.1109/HICSS.1993.284112
Regular:

The authors investigate an automatic verification mechanism for control-finite communicating sequential processes (CSP) programs by using the model checking technique. CSP programs with variables... View More

Advertisement