Abdalrhman Mohamed

According to our database, Abdalrhman Mohamed authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Lean-SMT: An SMT tactic for discharging proof goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

CoRR, May, 2025

lean-smt: An SMT Tactic for Discharging Proof Goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Muhammad Harun Ali Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

cvc5 for SMT-COMP 2024.

Leni Aniva, Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Daniel Larraz, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2024

2023

A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery.

Abdalrhman Mohamed, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

cvc5: A Versatile and Industrial-Strength SMT Solver.

Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022