Model Checking: il Metodo Intervallare