FIORAVANTI, FABIO
FIORAVANTI, FABIO
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
2019 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Property-Based Test Case Generators for Free
2019 De Angelis E.; Fioravanti F.; Palacios A.; Pettorossi A.; Proietti M.
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
2019 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Semantics and Controllability of Time-Aware Business Processes
2019 DE ANGELIS, Emanuele; Fioravanti, Fabio; Meo Maria, Chiara; Pettorossi, Alberto; Proietti, Maurizio
27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017
2018 Fioravanti, Fabio; Fioravanti, Fabio; Gallagher, ; John, P
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
2018 De Angelis, E.; Fioravanti, F.; Palacios, A.; Pettorossi, A.; Proietti, M.
Predicate Pairing for program verification
2018 De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M.
Predicate pairing with abstraction for relational verification
2018 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Solving Horn Clauses on Inductive Data Types Without Induction
2018 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Enhancing Predicate Pairing with Abstraction for Relational Verification
2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Semantics and Controllability of Time-Aware Business Processes
2017 E. De Angelis ; F. Fioravanti ; M.C. Meo ; A. Pettorossi ; M. Proietti
Semantics-based generation of verification conditions via program specialization
2017 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Verification of time-aware business processes using constrained Horn clauses
2017 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
Verifying controllability of time-aware business processes
2017 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
Horn Clause Transformation for Program Verification
2016 DE ANGELIS, Emanuele; Fioravanti, F; Pettorossi, A; Proietti, M
Removing unnecessary variables from Horn clause verification conditions
2016 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying Controllability of Time-Aware Business Processes
2016 De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M.
Verifying relational program properties by transforming constrained Horn clauses
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
Automated Verification of Relational Program Properties
2015 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study | 1-gen-2019 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Property-Based Test Case Generators for Free | 1-gen-2019 | De Angelis E.; Fioravanti F.; Palacios A.; Pettorossi A.; Proietti M. | |
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification | 1-gen-2019 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Semantics and Controllability of Time-Aware Business Processes | 1-gen-2019 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Meo Maria, Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017 | 1-gen-2018 | Fioravanti, Fabio; Fioravanti, Fabio; Gallagher, ; John, P | |
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs | 1-gen-2018 | De Angelis, E.; Fioravanti, F.; Palacios, A.; Pettorossi, A.; Proietti, M. | |
Predicate Pairing for program verification | 1-gen-2018 | De Angelis E.; Fioravanti F.; Pettorossi A.; Proietti M. | |
Predicate pairing with abstraction for relational verification | 1-gen-2018 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | |
Solving Horn Clauses on Inductive Data Types Without Induction | 1-gen-2018 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | |
Enhancing Predicate Pairing with Abstraction for Relational Verification | 1-gen-2017 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Semantics and Controllability of Time-Aware Business Processes | 1-gen-2017 | E. De Angelis ; F. Fioravanti ; M.C. Meo ; A. Pettorossi ; M. Proietti | |
Semantics-based generation of verification conditions via program specialization | 1-gen-2017 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
Verification of time-aware business processes using constrained Horn clauses | 1-gen-2017 | De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M. | |
Verifying controllability of time-aware business processes | 1-gen-2017 | De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M. | |
Horn Clause Transformation for Program Verification | 1-gen-2016 | DE ANGELIS, Emanuele; Fioravanti, F; Pettorossi, A; Proietti, M | |
Removing unnecessary variables from Horn clause verification conditions | 1-gen-2016 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | |
Verifying Controllability of Time-Aware Business Processes | 1-gen-2016 | De Angelis E.; Fioravanti F.; Meo M.C.; Pettorossi A.; Proietti M. | |
Verifying relational program properties by transforming constrained Horn clauses | 1-gen-2016 | De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
A Rule-based Verification Strategy for Array Manipulating Programs | 1-gen-2015 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
Automated Verification of Relational Program Properties | 1-gen-2015 | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M |