PETTOROSSI, Alberto

PETTOROSSI, Alberto  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autore(i) File
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 2024 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 2023 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Contract Strengthening through Constrained Horn Clause Verification 2022 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.
Multiple Query Satisfiability of Constrained Horn Clauses 2023 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Predicate Pairing with Abstraction for Relational Verification 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Property-Based Test Case Generators for Free 2019 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; 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.
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 2020 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.
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2022 De Angelis, E.; Proietti, M.; Fioravanti, F.; Pettorossi, A.