Solving Horn Clauses on Inductive Data Types Without Induction
DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO
Published in Theory and practice of logic programming (01.07.2018)
Published in Theory and practice of logic programming (01.07.2018)
Get full text
Journal Article
Preface
Fioravanti, Fabio, Gallagher, John P., Proietti, Maurizio
Published in Fundamenta informaticae (31.03.2020)
Published in Fundamenta informaticae (31.03.2020)
Get full text
Journal Article
Preface
Fioravanti, Fabio, Gallagher, John P, Proietti, Maurizio
Published in Fundamenta informaticae (01.01.2020)
Published in Fundamenta informaticae (01.01.2020)
Get full text
Journal Article
Proceedings 39th International Conference on Logic Programming: Multiple Query Satisfiability of Constrained Horn Clauses
De Angelis, Emanuele, Fioravanti, Fabio, Pettorossi, Alberto, Proietti, Maurizio
Published in Electronic proceedings in theoretical computer science (12.09.2023)
Published in Electronic proceedings in theoretical computer science (12.09.2023)
Get full text
Journal Article
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
DE ANGELIS, EMANUELE, PROIETTI, MAURIZIO, FIORAVANTI, FABIO, PETTOROSSI, ALBERTO
Published in Theory and practice of logic programming (01.07.2022)
Published in Theory and practice of logic programming (01.07.2022)
Get full text
Journal Article
Transformational Verification of Quicksort
De Angelis, Emanuele, Fioravanti, Fabio, Proietti, Maurizio
Published in Electronic proceedings in theoretical computer science (07.08.2020)
Published in Electronic proceedings in theoretical computer science (07.08.2020)
Get full text
Journal Article
Analysis and Transformation of Constrained Horn Clauses for Program Verification
DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, GALLAGHER, JOHN P., HERMENEGILDO, MANUEL V., PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO
Published in Theory and practice of logic programming (01.11.2022)
Published in Theory and practice of logic programming (01.11.2022)
Get full text
Journal Article
Modeling gene regulatory network motifs using Statecharts
Fioravanti, Fabio, Helmer-Citterich, Manuela, Nardelli, Enrico
Published in BMC bioinformatics (28.03.2012)
Published in BMC bioinformatics (28.03.2012)
Get full text
Journal Article
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
De Angelis, Emanuele, Fioravanti, Fabio, Pettorossi, Alberto, Proietti, Maurizio
Published in Fundamenta informaticae (01.01.2017)
Published in Fundamenta informaticae (01.01.2017)
Get full text
Journal Article