CS 675 Model Checking

Overview of formal verification techniques in software engineering; system modeling with automata; temporal logics; algorithms and techniques of model checking to critical systems in industry. Before enrolling, students should have taken CS 224 or an undergraduate algorithms course and CS 431 or an undergraduate programming languages course.