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