Department of Computer Science 1420 Seamans Center, University of Iowa, Iowa City, IA 52242-1419, USA
mudathir-mahgoubyahia @ uiowa.edu
Formal verification and automated theorem proving.
Mudathir Mohamed, Baoluo Meng, Andrew Reynolds and Cesare Tinelli.
A new relational solver for the Alloy Analyzer
FMCAD Student Forum 2019.