DE ANGELIS, EMANUELE

DE ANGELIS, EMANUELE  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
Bounded symbolic execution for runtime error detection of Erlang programs 2018 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Branching Preserving Specialization for Software Model Checking 2012 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Lemma generation for horn clause satisfiability: A preliminary study 2019 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Predicate Pairing for program verification 2018 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
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
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
Property-Based Test Case Generators for Free 2019 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Proving correctness of imperative programs by linearizing constrained Horn clauses 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Proving properties of sorting programs: A case study in horn clause verification 2019 De Angelis, E.; Pettorossi, A.; Fioravanti, F.; Proietti, M.
Relational verification through horn clause transformation 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; 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
Removing unnecessary variables from Horn clause verification conditions 2016 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
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 2022 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Semantics and controllability of time-aware business processes 2019 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Semantics-based generation of verification conditions by program specialization 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, A.; Proietti, M.
Semantics-based generation of verification conditions via program specialization 2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, A.; Proietti, Maurizio