Irfan, Ahmed

Irfan, Ahmed  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.016 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 1-gen-2018 Cimatti, AlessandroGriggio, AlbertoIrfan, AhmedRoveri, MarcoSebastiani, Roberto
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 1-gen-2018 Cimatti, AlessandroGriggio, AlbertoIrfan, AhmedRoveri, MarcoSebastiani, Roberto
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 1-gen-2018 Alessandro CimattiAlberto GriggioAhmed IrfanMarco RoveriRoberto Sebastiani
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 1-gen-2017 Cimatti, AlessandroGriggio, AlbertoIrfan, AhmedRoveri, MarcoSebastiani, Roberto
Lemmas for satisfiability modulo transcendental functions via incremental linearization 1-gen-2019 Irfan A.Cimatti A.Griggio A.Roveri M.Sebastiani R.
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 1-gen-2021 Cimatti A.Griggio A.Irfan A.Roveri M.Sebastiani R.Trentin P. +
Satisfiability Modulo Transcendental Functions via Incremental Linearization 1-gen-2017 Cimatti, AlessandroGriggio, AlbertoIrfan, AhmedRoveri, MarcoSebastiani, Roberto
Verilog2SMV: A tool for word-level verification 1-gen-2016 Irfan, AhmedCimatti, AlessandroGriggio, AlbertoRoveri, MarcoSebastiani, Roberto