User-Driven Abstraction for Model Checking

Glenn Bruns

Model checking has found a role in the engineering of reactive systems. However, model checkers are still strongly limited by the size of the system description they can check. Her…