I am an undergraduate student in the School of Computing at the University of Utah working on the SMACK software verifier.
I am an undergraduate student in the School of Computing at the University of Utah working on the SMACK software verifier.
Contact
liam.machado@utah.edu
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112