Inheritance-based technique for building simulation proofs incrementally

Idit Keidar, Roger Khazan, Nancy Lynch, Alex Shvartsman

Research output: Contribution to journalConference articlepeer-review

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 languageEnglish (US)
Pages (from-to)478-487
Number of pages10
JournalUnknown Journal
DOIs
StatePublished - 2000
Externally publishedYes
Event2000 International Conference on Software Engineering - Limerick, Ireland
Duration: Jun 4 2000Jun 11 2000

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Inheritance-based technique for building simulation proofs incrementally'. Together they form a unique fingerprint.

Cite this