Welcome to the home page of the Miami University Formal Methods Program.  The program was an experimental curriculum, funded by the NSF, to integrate the teaching of formal methods into an undergraduate software engineering curriculum.  Over a period of three years, six courses were taught in the curriculum.  Work continues under the NSF grant in the form of papers, workshops, and this website in order to disseminate information discovered during the original three-year curriculum.