*****COURSES ARE SUBJECT TO CHANGE*****
Introduction to methods for modeling, analyzing, and reasoning about discrete systems, such as hardware and software designs. First part of course presents basic models for hardware and software systems and introduces methods for system specification, verification, abstraction, and stepwise refinement of a design into an implementation. Second part discusses role of structure: hierarchy, system composition, and interface specification. Prerequisite(s): some mathematical background is assumed. Enrollment restricted to graduate students or by permission of instructor. L. De Alfaro
While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.