2016 Fall Quarter
Lecture: 3 hours
Formal specification of modules, and its relationship to topdown programming development and verification. Abstract data types, together with methods for specifying them. Implementations and proofs of implementation. Using specifications to reason about programs. Parameterized types. Constructing good formal specifications.
Pass One and Pass Two open to Graduate Students in Computer Science only.
Summary of Course Content
Potential Course Overlap