Francesco Alberti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cardinality constraints for arrays (decidability results and applications) Formal Methods in System Design	2018-01-08	Paper
A new acceleration-based combination framework for array properties Frontiers of Combining Systems	2017-02-27	Paper
Counting constraints in flat array fragments Automated Reasoning	2016-09-05	Paper
Decision procedures for flat array properties Journal of Automated Reasoning	2016-05-26	Paper
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories Journal of Satisfiability, Boolean Modeling and Computation	2016-02-23	Paper
Booster: an acceleration-based verification framework for array programs Automated Technology for Verification and Analysis	2015-12-17	Paper
An extension of lazy abstraction with interpolation for programs with arrays Formal Methods in System Design	2014-12-05	Paper
Definability of accelerated relations in a theory of arrays and its applications Frontiers of Combining Systems	2013-09-20	Paper
Lazy abstraction with interpolants for arrays Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper

Research outcomes over time

This page was built for person: Francesco Alberti