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.