Artikel dengan mandat akses publik - Fabio FioravantiPelajari lebih lanjut
Tersedia di suatu tempat: 15
VeriMAP: A tool for verifying programs through transformations
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
International Conference on Tools and Algorithms for the Construction and …, 2014
Mandat: Government of Italy
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
Mandat: Government of Italy
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
Mandat: Government of Italy
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
Mandat: Government of Spain
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
Mandat: Government of Italy
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
Mandat: Government of Italy
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
Mandat: Government of Italy
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
Mandat: Government of Spain
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
Mandat: Government of Italy
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Journal of Logic and Computation 32 (2), 402-442, 2022
Mandat: Government of Italy
Verification of time-aware business processes using Constrained Horn Clauses
E De Angelis, F Fioravanti, MC Meo, A Pettorossi, M Proietti
Logic-Based Program Synthesis and Transformation: 26th International …, 2017
Mandat: Government of Italy
Verifying controllability of time-aware business processes
E De Angelis, F Fioravanti, MC Meo, A Pettorossi, M Proietti
Rules and Reasoning: International Joint Conference, RuleML+ RR 2017, London …, 2017
Mandat: Government of Italy
Verifying Relational Program Properties by Transforming Constrained Horn clauses.
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
CILC, 69-85, 2016
Mandat: Government of Italy
Predicate pairing with abstraction for relational verification
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Logic-Based Program Synthesis and Transformation: 27th International …, 2018
Mandat: Government of Italy
AI for Sustainability: Research at Ud’A Node
G Amato, A Amelio, L Caroprese, P Chiacchiaretta, F Fioravanti, L Ippoliti, ...
Mandat: Government of Italy
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer