IEEE - Institute of Electrical and Electronics Engineers, Inc. - An inheritance-based technique for building simulation proofs incrementally

Proceedings of International Conference on Software Engineering

Author(s): I. Keidar ; R. Khazan ; N. Lynch ; A. Shvartsman
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2000
Conference Location: Limerick, Ireland, Ireland
Conference Date: 9 June 2000
Page Count: 10
Page(s): 478 - 487
ISBN (Paper): 1-58113-206-9
ISSN (Paper): 0270-5257
DOI: 10.1145/337180.337358
Regular:

The paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications. The... View More

Advertisement