Inheritance-based technique for building simulation proofs incrementally

Idit Keidar; Roger Khazan; Nancy Lynch; Alex Shvartsman

doi:10.1145/337180.337358

Inheritance-based technique for building simulation proofs incrementally

Idit Keidar
, Roger Khazan
, Nancy Lynch
, Alex Shvartsman

Research output: Contribution to journal › Conference article › peer-review

9 Scopus citations

Abstract

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.

Original language	English (US)
Pages (from-to)	478-487
Number of pages	10
Journal	American Surgeon
DOIs	https://doi.org/10.1145/337180.337358
State	Published - 2000
Externally published	Yes
Event	2000 International Conference on Software Engineering - Limerick, Ireland Duration: Jun 4 2000 → Jun 11 2000

ASJC Scopus subject areas

Software

Access to Document

10.1145/337180.337358

Cite this

@article{a0ddccd7fa394a6fa4fba6095a1730a4,

title = "Inheritance-based technique for building simulation proofs incrementally",

abstract = "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.",

author = "Idit Keidar and Roger Khazan and Nancy Lynch and Alex Shvartsman",

note = "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.; 2000 International Conference on Software Engineering ; Conference date: 04-06-2000 Through 11-06-2000",

year = "2000",

doi = "10.1145/337180.337358",

language = "English (US)",

pages = "478--487",

journal = "American Surgeon",

issn = "0003-1348",

}

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 - https://www.scopus.com/pages/publications/0033712781

UR - https://www.scopus.com/pages/publications/0033712781#tab=citedBy

U2 - 10.1145/337180.337358

DO - 10.1145/337180.337358

M3 - Conference article

AN - SCOPUS:0033712781

SN - 0003-1348

SP - 478

EP - 487

JO - American Surgeon

JF - American Surgeon

T2 - 2000 International Conference on Software Engineering

Y2 - 4 June 2000 through 11 June 2000

ER -

Inheritance-based technique for building simulation proofs incrementally

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this