Journal article
Proving Refinement Using Transduction
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.
Language: | English |
---|---|
Publisher: | Springer-Verlag |
Year: | 1999 |
Pages: | 129-149 |
ISSN: | 14320452 and 01782770 |
Types: | Journal article |
DOI: | 10.1007/s004460050062 |
ORCIDs: | 0000-0003-1286-7421 |