VeriMAP: A tool for verifying programs through transformations E De Angelis, F Fioravanti, A Pettorossi, M Proietti Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 89 | 2014 |
Semantics-based generation of verification conditions by program specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 58 | 2015 |
Program verification via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 95, 149-175, 2014 | 45 | 2014 |
Relational verification through horn clause transformation E De Angelis, F Fioravanti, A Pettorossi, M Proietti Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 41 | 2016 |
Analysis and transformation of constrained horn clauses for program verification E De Angelis, F Fioravanti, JP Gallagher, MV Hermenegildo, A Pettorossi, ... Theory and Practice of Logic Programming 22 (6), 974-1042, 2022 | 27 | 2022 |
Solving Horn clauses on inductive data types without induction E De Angelis, F Fioravanti, A Pettorossi, M Proietti Theory and Practice of Logic Programming 18 (3-4), 452-469, 2018 | 25 | 2018 |
Proving correctness of imperative programs by linearizing constrained Horn clauses E De Angelis, F Fioravanti, A Pettorossi, M Proietti Theory and Practice of Logic Programming 15 (4-5), 635-650, 2015 | 22 | 2015 |
Verifying programs via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 20 | 2013 |
Verifying array programs by transforming verification conditions E De Angelis, F Fioravanti, A Pettorossi, M Proietti Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 18 | 2014 |
Verification of imperative programs by constraint logic program transformation E De Angelis, F Fioravanti, A Pettorossi, M Proietti arXiv preprint arXiv:1309.5139, 2013 | 13 | 2013 |
CHC-COMP 2023: Competition Report E De Angelis arXiv preprint arXiv:2404.14923, 2024 | 12 | 2024 |
Predicate pairing for program verification E De Angelis, F Fioravanti, A Pettorossi, M Proietti Theory and Practice of Logic Programming 18 (2), 126-166, 2018 | 12 | 2018 |
A rule-based verification strategy for array manipulating programs E De Angelis, F Fioravanti, A Pettorossi, M Proietti Fundamenta Informaticae 140 (3-4), 329-355, 2015 | 11 | 2015 |
Specialization with constrained generalization for software model checking E De Angelis, F Fioravanti, A Pettorossi, M Proietti Logic-Based Program Synthesis and Transformation: 22nd International …, 2013 | 11 | 2013 |
Synthesizing concurrent programs using answer set programming E De Angelis, A Pettorossi, M Proietti Fundamenta Informaticae 120 (3-4), 205-229, 2012 | 11 | 2012 |
Removing algebraic data types from constrained Horn clauses using difference predicates E De Angelis, F Fioravanti, A Pettorossi, M Proietti International Joint Conference on Automated Reasoning, 83-102, 2020 | 10 | 2020 |
Property-based test case generators for free E De Angelis, F Fioravanti, A Palacios, A Pettorossi, M Proietti Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 9 | 2019 |
Program verification using constraint handling rules and array constraint generalizations E De Angelis, F Fioravanti, A Pettorossi, M Proietti Fundamenta Informaticae 150 (1), 73-117, 2017 | 9 | 2017 |
Verifying catamorphism-based contracts using constrained Horn clauses E De Angelis, M Proietti, F Fioravanti, A Pettorossi Theory and Practice of Logic Programming 22 (4), 555-572, 2022 | 8 | 2022 |
Lemma generation for Horn clause satisfiability: A preliminary study E De Angelis, F Fioravanti, A Pettorossi, M Proietti arXiv preprint arXiv:1908.07188, 2019 | 7 | 2019 |