Model Checking

This lecture introduces the fundamental principles of model checking — a formal verification technique for ensuring system correctness — by exploring its theoretical underpinnings and practical applications. See our website for more information.