Professor:
Jay Bagga
The use of formal
verification techniques for software and hardware systems has been growing
steadily. This is due to the importance of ensuring that complex hardware and
software systems are reliable. In this class we will provide an overview of
formal methods of software engineering. We will study one method, model checking,
in detail, and explore model-checking tools such as SMV (Symbolic Model
Verifier).
Text Book: Systems and
Software Verification, B. Berard et al, Springer 2001
Prerequisites: CS 501, 502,
524, familiarity with finite state machines, finite automata.
For more information or
questions, contact Prof. Bagga