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
Hours: 3
Permission: Y
Prerequisite: CS 324
Prerequisite: CS 335
Co-requisite: none