 |
||||
 |
Home> Course Search> |
|||
|
Search Results |
|||
|
||||
| Computer-Aided Verification -- Electrical Engineering (EL ENG) 219C [3 units] | ||||
| Course Format: Three hours of lecture per week. | ||||
| Prerequisites: Consent of instructor; Computer Science 170 is recommended. | ||||
| Description: Introduction to the theory and practice of formal methods for the design and analysis of systems, with a focus on automated algorithmic techniques. Covers selected topics in computational logic and automata theory including formal models of reactive systems, temporal logic, model checking, and automated theorem proving. Applications in hardware and software verification, analysis of embedded, real-time, and hybrid systems, computer security, synthesis, planning, constraint solving, and other areas will be explored as time permits. | ||||
| Offered alternate years. (F,SP) Seshia |
||||
| |
||||
 |
||||
 |
||||
Copyright 2007 UC Regents. All rights reserved. Contact us. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * |
||||
