Online Model Checking Apply model checking to systems where accurate long-term models are difficult to obtain