What Is Model Checking In Software