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
	600.436 High- Assurance Systems
					Fall 01/Introduction			2