Text this: Adaptive Model Checking.