Proving Refinement Using Transduction

Publication: Research - peer-reviewJournal article – Annual report year: 1999

View graph of relations

We present a verification method, in which refinement between two systems is proven by constructing a transducer that inputs a computation of a concrete system and outputs a matching computation of the abstract system.
Original languageEnglish
JournalDistributed Computing
Publication date1999
Volume12
Issue2-3
Pages129-149
ISSN0178-2770
DOIs
StatePublished
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6266805