IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 43
Titolo Data di pubblicazione Autore(i) File
Synthesizing Concurrent Programs using Answer Set Programming 2011 DE ANGELIS, Emanuele; A., Pettorossi; M., Proietti
Synthesizing Concurrent Programs using Answer Set Programming 2011 DE ANGELIS, Emanuele; A., Pettorossi; M., Proietti
Branching Preserving Specialization for Software Model Checking 2012 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Synthesizing Concurrent Programs Using Answer Set Programming 2012 DE ANGELIS, Emanuele; Pettorossi, A.; Proietti, M.
Software Model Checking by Program Specialization 2012 DE ANGELIS, Emanuele
Software Model Checking by Program Specialization 2012 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Verification of Imperative Programs by Transforming Constraint Logic Programs 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verification of Imperative Programs through Transformation of Constraint Logic Programs 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verifying Programs via Iterated Specialization 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Specialization with constrained generalization for software model checking 2013 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Specialization with Constrained Generalization for Software Model Checking 2013 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Verification of Imperative Programs by Constraint Logic Program Transformation 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
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
VeriMAP: A Tool for Verifying Programs through Transformations 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
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
Mostrati risultati da 1 a 20 di 43
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