My thesis: Formal Methods in Practice

After a ridiculously long time, I finally finished my Masters thesis! I presented on November 10, 2011 and it was accepted by the review committee.

My thesis is entitled Formal Methods in Practice: Analysis and Application of Formal Modeling to Information Systems. It is a two-part effort. The first part consists of an analysis of the case studies and literature surrounding the use of formal methods in software development. The second is the application of formal modeling to a sample information system - in this case, a web-based document management system implemented in PHP with formal models constructed in VDM++.

A copy of my thesis and the associated files are located below.