Follow
Mudathir Mohamed
Mudathir Mohamed
Verified email at uiowa.edu - Homepage
Title
Cited by
Cited by
Year
cvc5: A versatile and industrial-strength SMT solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
5212022
CVC5 at the SMT Competition 2022
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, A Mohamed, ...
52022
Verifying SQL Queries using Theories of Tables and Relations
M Mohamed, A Reynolds, C Tinelli, C Barrett
arXiv preprint arXiv:2405.03057, 2024
12024
A new relational solver for the Alloy Analyzer
M Mohamed, B Meng, A Reynolds, C Tinelli
URL: https://homepage. divms. uiowa. edu/mahgoubyahia/pdf/crs. pdf, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–4