TY - JOUR
T1 - Inheritance-based technique for building simulation proofs incrementally
AU - Keidar, Idit
AU - Khazan, Roger
AU - Lynch, Nancy
AU - Shvartsman, Alex
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2000
Y1 - 2000
N2 - A technique is introduced for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications. The technique is presented mathematically, in terms of automata.
AB - A technique is introduced for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications. The technique is presented mathematically, in terms of automata.
UR - http://www.scopus.com/inward/record.url?scp=0033712781&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0033712781&partnerID=8YFLogxK
U2 - 10.1145/337180.337358
DO - 10.1145/337180.337358
M3 - Conference article
AN - SCOPUS:0033712781
SN - 0003-1348
SP - 478
EP - 487
JO - Unknown Journal
JF - Unknown Journal
T2 - 2000 International Conference on Software Engineering
Y2 - 4 June 2000 through 11 June 2000
ER -