Irfan, Ahmed
Irfan, Ahmed
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization
2018-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
2018-01-01 Irfan, Ahmed
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions
2018-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
2018-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Lemmas for satisfiability modulo transcendental functions via incremental linearization
2019-01-01 Irfan, A.; Cimatti, A.; Griggio, A.; Roveri, M.; Sebastiani, R.
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, F.; Cimatti, A.; Griggio, A.; Irfan, A.; Jonas, M.; Roveri, M.; Sebastiani, R.; Trentin, P.
Satisfiability Modulo Transcendental Functions via Incremental Linearization
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Verilog2SMV: A tool for word-level verification
2016-01-01 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto