Date of Award


Document Type

Open Access Master's Report

Degree Name

Master of Science in Computer Science (MS)

Administrative Home Department

Department of Computer Science

Advisor 1

Charles Wallace

Committee Member 1

Ali Ebnenasir

Committee Member 2

Susanna Peters


Rules and regulations often come with a lack of clarity and the possibility of multiple interpretations. Without a clear understanding of what they are supposed to mean it becomes difficult to tell the people that these rules and regulations apply what to expect from them. This report will take a closer look at one of these sets of rules, the expungement laws in the state of Michigan. The alternative interpretations and possible contradictions are explored and their effects on real people are discussed. After an introduction providing a general understanding of the issue, a proposed solution to these problems will be looked at as well. Computer models can be used to explore the consequences and different outcomes from different interpretations of these laws. A model was written in Alloy in order to show the practicality of this method and was used to further explore the Michigan expungement laws.