CSE 2231 Glossary
Interpretation
Describes how the value in the Concrete State Space becomes the value in the Abstract State Space. Represented by the upward arrow from the concrete state space to the abstract state space.
Describes how the value in the Concrete State Space becomes the value in the Abstract State Space. Represented by the upward arrow from the concrete state space to the abstract state space.