EXPLORING INTERPRETATIONS AND CONSEQUENCES OF MICHIGAN’S EXPUNGEMENT STATUTE THROUGH FORMAL MODELING AND ANALYSIS
Jonathan C Parks · 2022
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.