To check CTL formulas and perform model checking operations select Check CTL formulae... from the Model Checking menu. A new window opens displaying the model checking controls.