CS 675 - Model Checking
Overview of formal verification techniques in software engineering; system modeling with automata; temporal logics; algorithms and techniques of model checking; study and use of model checkers such as SPIN; applications of model checking to critical systems in industry. Prerequisite: CS 324, 335.
College: Sciences and Humanities
Prerequisite: CS 324
Prerequisite: CS 335