In computer science and in mathematics, abstraction model checking is for systems where an actual representation is too complex in developing the model alone.
Abstraction model checking in computer science and mathematics involves systems that are too complex to be modeled independently.