Eternity variables to prove simulation of specifications (Q5277719)
From MaRDI portal
scientific article; zbMATH DE number 6743962
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Eternity variables to prove simulation of specifications |
scientific article; zbMATH DE number 6743962 |
Statements
Eternity variables to prove simulation of specifications (English)
0 references
12 July 2017
0 references
history variables
0 references
implementation
0 references
invariant
0 references
preservation of quiescence
0 references
prophecy variables
0 references
refinement mapping
0 references
simulation
0 references
