State Machine Visualizer (SMV)

This project was advised by Dr. Gabriel Elkaim and began during my CAHSI/NSF-sponsored undergraduate research internship. Dr. Elkaim provided guidance on requirements, while I focused on development and testing.