In 2021 I finished my graduate thesis titled "Rigorous Analysis of Combined Software Processes Via Model Checking". It is an analysis of CTL model checking, a kind of static analysis. It examines testing in a variety of scenarios, from software code to medical process steps. The Java model checker I wrote and the paper are available at github.com/mark-mcdermott/mcdmodelcheckermvc (the paper is in src/main/resources/misc/docx). I have since then begun to redo the Java code for my model checker - the code is much cleaner this time around. The new code is available at github.com/mark-mcdermott/cs5392-group-project-kusupati-liu-mcdermott-namala (the new version was a group project for a class, but I wrote all the code). The original has graphical output using the JUNG graph library for Java. The new version doesn't have a graphical user interface yet - it is a console based app.