Irfan, Ahmed
Irfan, Ahmed
ES
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2022-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
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 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
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2022 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
| Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization | 1-gen-2018 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions | 1-gen-2018 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions | 1-gen-2018 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Optimization Modulo Non-linear Arithmetic via Incremental Linearization | 1-gen-2021 | Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick | |
| Satisfiability Modulo Transcendental Functions via Incremental Linearization | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Verilog2SMV: A Tool for Word-level Verification | 1-gen-2016 | Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto |