Ahmed Irfan

From MaRDI portal
Person:831940

Available identifiers

zbMath Open irfan.ahmedMaRDI QIDQ831940

List of research outcomes





PublicationDate of PublicationType
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays2022-10-06Paper
Implicit semi-algebraic abstraction for polynomial dynamical systems2022-03-25Paper
Optimization modulo non-linear arithmetic via incremental linearization2022-03-24Paper
Smt-Switch: a solver-agnostic C++ API for SMT solving2022-03-22Paper
Counterexample-guided prophecy for model checking modulo the theory of arrays2021-08-04Paper
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF2020-08-05Paper
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions2018-10-24Paper
Experimenting on solving nonlinear integer arithmetic with incremental linearization2018-08-10Paper
Satisfiability modulo transcendental functions via incremental linearization2017-09-22Paper

Research outcomes over time

This page was built for person: Ahmed Irfan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:831940&oldid=7042233"
Powered by MediaWiki