Tutoring
Tutoring Schedule

Course Surveys
EE Professors
EE Teaching Assistants
EE Courses
CS Professors
CS Teaching Assistants
CS Courses

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 2007	Seshia	6.0	/ 7 ± 1.3		5.5	/ 7 ± 1.0
Spring 2006	Seshia	5.8	/ 7 ± 0.5		5.5	/ 7 ± 0.7
Fall 1999	Henzinger	5.8	/ 7 ± 1.3		5.6	/ 7 ± 1.8
Spring 1998	Henzinger	5.9	/ 7 ± 1.0		6.6	/ 7 ± 0.4
Overall Rating		Teaching Effectiveness			How worthwhile was this course?
Electrical Engineering 219C		5.9	/ 7 ± 0.2		5.7	/ 7 ± 0.2

Hint: You can click on the colored rating bars to see detailed statistics on a particular rating.