IEEE - Institute of Electrical and Electronics Engineers, Inc. - The use of formal methods in parallel operating systems

Author(s): Keane, J.A. ; Hussak, W.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Chicago, IL, USA
Conference Date: 21 September 1992
Page(s): 245 - 250
ISBN (Paper): 0-8186-3000-0
DOI: 10.1109/CMPSAC.1992.217560
Regular:

The authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach... View More

Advertisement