6.883 Program Analysis (H)

L TR11-12:30, Room 34-303
Professor Michael Ernst, mernst@csail.mit.edu
Prereq.: 6.170 and 6.042J or permission of instructor
3-0-9

This subject qualifies as a computer systems and architecture engineering concentration subject.

Studies program analysis techniques with a particular focus on software engineering tasks such as design, implementation, testing, debugging, and modification ("maintenance"). Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization.

http://pag.csail.mit.edu/6.883/