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
Volume12
Issue number2-3
Pages (from-to)129-149
ISSN0178-2770
DOIs
StatePublished - 1999
Peer-reviewedYes
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 6266805