Proving Refinement Using Transduction
Publication: Research - peer-review › Journal article – Annual report year: 1999
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 |
| Publication date | 1999 |
| Volume | 12 |
| Journal number | 2-3 |
| Pages | 129-149 |
| ISSN | 0178-2770 |
| DOIs | |
| State | Published |
| Citations | Web of Science® Times Cited: No match on DOI |
|---|
ID: 6266805