F. Fioravanti

Analysis and Transformation of Constrained Horn Clauses for Program Verification pdf

John P. Gallagher, Alberto Pettorossi, Manuel V. Hermenegildo, 2021, Theory Pract. Log. Program..

GENERALIZATION STRATEGIES FOR THE VERIFICATION OF INFINITE STATE SYSTEMS R . 10-21 , 2010

A. Pettorossi, M. Proietti, V. Senni, 2010 .

Under Consideration for Publication in Theory and Practice of Logic Programming Generalization Strategies for the Verification of Infinite State Systems

V. Senni, F. Fioravanti, M. Proietti, 2022 .

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

E. D. Angelis, F. Fioravanti, M. Proietti, 2024, PEPM.