   Fu-Shing Sun
Director of Graduate Programs Computer Science Department Ball State University Muncie, IN 47306-0450 Phone: (765) 285-8641 Fax: (765) 285-2614 fsun@bsu.edu |
 |
 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 570. College: Sciences & Humanities Hours: 3 Permission: Y Prerequisite: CS 570 Co-requisite: none |
Copyright © 2008 Ball State University 2000 W. University
Ave. Muncie, IN 47306