Certification of High Assurance Systems Seminar
(CS 400-02 and CS 502-03)

Spring 2008

Meeting Number	Date	Topic Covered	Moderator
1	January 14	"Specifier's Introduction to Formal Methods"	Paul Oman
	January 21	NO School Martin Luther King Day
2	January 28	Introduction to Formal Methods "Seven Myths of Formal Methods" and "Seven More Myths of Formal Methods"	Jim Alves-Foss
3	Feb 4	Formal Specification	Jim Alves-Foss
4	Feb 11	Formal Specification	Jim Alves-Foss
	Feb 18	NO School *
5+	Feb 25	Formal models form Alves-Foss et. al paper “Formal Modelling of Security Policies for Multi-partition Systems” ACL2 Code for above paper	Jim Alves-Foss