IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 82
Titolo Data di pubblicazione Autore(i) File
Special issue on the Italian conference on computational logic: CILC 2011 2013 Fioravanti, Fabio; Pettorossi, Alberto; Rossi, Gianfranco
Verifying Programs via Iterated Specialization 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Proving Theorems by Program Transformation 2013 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
Generalization Strategies for the Verification of Infinite State Systems 2013 Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Controlling Polyvariance for Specialization-based Verification 2013 Fioravanti, Fabio; Pettorossi, A.; Proietti, M.; Senni, V.
Verification of Imperative Programs by Constraint Logic Program Transformation 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Specialization with Constrained Generalization for Software Model Checking 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verifying Array Programs by Transforming Verification Conditions 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verification of Programs by Combining Iterated Specialization with Interpolation 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Jorge A., Navas; Maurizio, Proietti
VeriMAP: A Tool for Verifying Programs through Transformations 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Program verification via iterated specialization 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; A., Pettorossi; M., Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Semantics-based generation of verification conditions via program specialization 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, A.; Proietti, M.
Proving correctness of imperative programs by linearizing constrained Horn clauses 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
A Rule-based Verification Strategy for Array Manipulating Programs 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation 2015 Fioravanti, Fabio; Proietti, M.; Senni, V.
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Removing unnecessary variables from Horn clause verification conditions 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Relational verification through horn clause transformation 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Mostrati risultati da 41 a 60 di 82
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