Proving Refinement Using Transduction

Bengt Jonsson, Amir Pnueli, Camilla Østerberg Rump

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    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
    Publication statusPublished - 1999

    Fingerprint

    Dive into the research topics of 'Proving Refinement Using Transduction'. Together they form a unique fingerprint.

    Cite this