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 language | English |
---|---|
Journal | Distributed Computing |
Volume | 12 |
Issue number | 2-3 |
Pages (from-to) | 129-149 |
ISSN | 0178-2770 |
DOIs | |
Publication status | Published - 1999 |