Ahmed Irfan

Available identifiers

zbMath Open irfan.ahmedMaRDI QIDQ831940

List of research outcomes

Publication	Date of Publication	Type
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays	2022-10-06	Paper
Implicit semi-algebraic abstraction for polynomial dynamical systems	2022-03-25	Paper
Optimization modulo non-linear arithmetic via incremental linearization	2022-03-24	Paper
Smt-Switch: a solver-agnostic C++ API for SMT solving	2022-03-22	Paper
Counterexample-guided prophecy for model checking modulo the theory of arrays	2021-08-04	Paper
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF	2020-08-05	Paper
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions	2018-10-24	Paper
Experimenting on solving nonlinear integer arithmetic with incremental linearization	2018-08-10	Paper
Satisfiability modulo transcendental functions via incremental linearization	2017-09-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ahmed Irfan