IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying programs with unreliable channels

Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science

Author(s): Abdulla, P. ; Jonsson, B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Montreal, Que., Canada
Conference Date: 19 June 1993
Page(s): 160 - 170
ISBN (Paper): 0-8186-3140-6
DOI: 10.1109/LICS.1993.287591
Regular:

The verification of a particular class of infinite-state systems, namely, systems consisting of finite-state processes that communicate via unbounded lossy FIFO channels, is considered. This class... View More

Advertisement