IRIS Institutional Research Information System

Sfoglia per Autore  Irfan, Ahmed

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
Verilog2SMV: A Tool for Word-level Verification 1-gen-2016 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
Satisfiability Modulo Transcendental Functions via Incremental Linearization 1-gen-2017 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
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
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
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 1-gen-2022 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Mostrati risultati da 1 a 8 di 8
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile