Material Detail

6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. 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. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project.

This will delete the comment from the database. This operation is not reversible. Are you sure you want to do it?

Thank you for reporting a broken "Go to Material" link in MERLOT to help us maintain a collection of valuable learning materials.

Would you like to be notified when it's fixed?

Your email address

Do you know the correct URL for the link?

Suggested URL

Your broken link report has been sent to the MERLOT Team. Thank you for helping MERLOT maintain a current collection of valuable learning materials!

Your broken link report failed to be sent. Please try reloading the page and reporting it again. Thank you! Sorry for the trouble.

If you feel this material is inappropriate for the MERLOT Collection, please click SEND REPORT, and the MERLOT Team will investigate. Thank you!

Your inappropriate material report has been sent to the MERLOT Team. Thank you for helping MERLOT maintain a valuable collection of learning materials.

Your inappropriate material report failed to be sent. Please try reloading the page and reporting it again. Thank you! Sorry for the trouble.

Your inappropriate comment report has been sent to the MERLOT Team. Thank you for helping MERLOT maintain a valuable collection of learning materials.

You are being taken to the material on another site. This will open a new window.

Do not show me this again

You just viewed 6.883 Program Analysis | Electrical.... Please take a moment to rate this material.