IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 43
Titolo Data di pubblicazione Autore(i) File
Proving correctness of imperative programs by linearizing constrained Horn clauses 2015 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
Removing unnecessary variables from Horn clause verification conditions 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Verifying Controllability of Time-Aware Business Processes 2017 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Verification of time-aware business processes using constrained horn clauses 2017 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Semantics-based generation of verification conditions via program specialization 2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, A.; Proietti, Maurizio
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Predicate Pairing with Abstraction for Relational Verification 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Predicate Pairing for program verification 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Bounded symbolic execution for runtime error detection of Erlang programs 2018 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Solving Horn Clauses on Inductive Data Types Without Induction 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Lemma generation for horn clause satisfiability: A preliminary study 2019 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Proving properties of sorting programs: A case study in horn clause verification 2019 De Angelis, E.; Pettorossi, A.; Fioravanti, F.; Proietti, M.
Semantics and controllability of time-aware business processes 2019 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Property-Based Test Case Generators for Free 2019 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 2020 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Transformational verification of quicksort 2020 De Angelis, Emanuele; Fioravanti, Fabio; Proietti, Maurizio
Contract Strengthening through Constrained Horn Clause Verification 2022 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 2022 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Mostrati risultati da 21 a 40 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