Date of Award
2022
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
Abstract
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.
Recommended Citation
Parks, Jonathan C., "EXPLORING INTERPRETATIONS AND CONSEQUENCES OF MICHIGAN’S EXPUNGEMENT STATUTE THROUGH FORMAL MODELING AND ANALYSIS", Open Access Master's Report, Michigan Technological University, 2022.