IEEE - Institute of Electrical and Electronics Engineers, Inc. - A tool for reasoning about software models

Proceedings of COMPASS '93 - IEEE 8th Annual Conference on Computer Assurance: Practical Paths to Assurance

Author(s): Bailin, S.C. ; Henderson, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 14 June 1993
Page(s): 7 - 14
ISBN (Paper): 0-7803-1251-1
DOI: 10.1109/CMPASS.1993.288862
Regular:

The authors describe a tool for supporting formal reasoning about software systems via their specification diagrams. The formal interconnection analysis tool (FIAT) is meant to help bridge the... View More

Advertisement