← Chapter 4 Model Adequacy Checking - IIT Kanpur