Ahmed Irfan

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Pono: A Flexible and Extensible SMT-Based Model Checker

Makai Mann and others (2021) · Computer Aided Verification · Springer International Publishing

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

Alessandro Cimatti and others (2018) · ACM Transactions on Computational Logic · Association for Computing Machinery

Verilog2SMV: A Tool for Word-level Verification

Ahmed Irfan and others (2016) · Design, Automation, and Test in Europe