600.436
High-Assurance Systems
Fall 01/Introduction
2
Course Plan
¨Weeks
1-3: Groundwork for Assurance
¨Weeks
4-12:
–Assurance Track: Learning how assurance works
(David)
–Practice: Learning how EROS (supposedly) works
(Jonathan)
¨Weeks
13-15: Wrap-up and Integration