Error Preservation: When verification is used to disprove properties (find bugs), a third type of property preservation comes into play: An abstraction is error preserving if a set of properties that is false in the abstract system has corresponding properties in the concrete system that are also false.