Property Preservation: To use abstraction to show that a property holds on a concrete program, any abstractions must be property preserving. Property preservation enables you to take the results of checking the property on the abstracted program and to map them back to the original program. There are several forms of property preservation.
- Weak Preservation
- Strong Preservation
- Error Preservation