Abstraction for falsification
Abstract interpretation of reactive systems