Click on Model Checking and CTL to open the resource.