6.894 Lightweight Formal Methods (H)

L MW11-12:30, room 56-154
Professor Daniel Jackson, dnj@mit.edu, 32-G704
Prereq.: 6.170, 6.042J
3-6-3

This subject qualifies as a Computer Systems and Architecture Engineering concentration subject. Course homepage: http://sdg.csail.mit.edu/6.894

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 the undergraduate version 6.097.