Electrical Engineering 219C

Title Computer-Aided Verification
Units 3
Prerequisites 219B and Computer Science 172 or consent of instructor.
Description Introduction to the theory and practice of formal methods for the design and analysis of concurrent and embedded systems. Focus on algorithmic techniques for checking logical and timing properties of circuits and communication protocols. Topics include the semantics of reactive systems, temporal logic model checking, the theory of omega automata, state space reduction techniques, compositional and hierarchical reasoning, real time.
Sections Instructor Teaching Effectiveness How worthwhile was this course?
Spring 2016 Sanjit Seshia 6.8 / 7 6.5 / 7
Spring 2015 Sanjit Seshia 5.9 / 7 5.7 / 7
Fall 2012 Sanjit Seshia 5.7 / 7 5.7 / 7
Spring 2011 Sanjit Seshia 6.8 / 7 6.9 / 7
Fall 2009 Sanjit Seshia 5.1 / 7 5.2 / 7
Spring 2007 Sanjit Seshia 6.0 / 7 5.5 / 7
Spring 2006 Sanjit Seshia 5.8 / 7 5.5 / 7
Fall 1999 Thomas A. Henzinger 5.8 / 7 5.6 / 7
Spring 1998 Thomas A. Henzinger 5.9 / 7 6.6 / 7
Overall Rating Teaching Effectiveness How worthwhile was this course?
6.0 / 7 5.9 / 7
[Email HKN about this data] [Info about this page]