6.097 (U)

Prof. Daniel Jackson, dnj@mit.edu, 8-8471
Prereq.: 6.170, 6.042J
3-6-3

This subject qualifies as a Computer Systems and Architecture Engineering concentration subject.

A practical introduction to lightweight formal methods, with an emphasis on software design. Conceptual frameworks; languages and tools for expressing and analyzing specifications and designs; modelling and analysis patterns; code verification and static analysis techniques. ‘Lightweight formal methods’ are a collection of new approaches to software development, characterized by the use of succinct abstract notations and powerful automation. Students will acquire familiarity with the range of approaches and their applicability, and will gain practical experience in applying them to hard problems. Responsibilities will include weekly problem sets and a final team project. This subject meets with graduate version 6.894.