IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synthesizing procedural abstractions from formal specifications

Author(s): Cheng, B.H.C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 149 - 154
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170166
Regular:

A description is presented of the development of the SEED system, which demonstrates that the building blocks of a large software system can be correctly synthesized from user-supplied formal... View More

Advertisement