Francesco Alberti

Available identifiers

Publication	Date of Publication	Type
Cardinality constraints for arrays (decidability results and applications)	2018-01-08	Paper
A new acceleration-based combination framework for array properties	2017-02-27	Paper
Counting constraints in flat array fragments	2016-09-05	Paper
Decision procedures for flat array properties	2016-05-26	Paper
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories	2016-02-23	Paper
Booster: an acceleration-based verification framework for array programs	2015-12-17	Paper
An extension of lazy abstraction with interpolation for programs with arrays	2014-12-05	Paper
Definability of accelerated relations in a theory of arrays and its applications	2013-09-20	Paper
Lazy abstraction with interpolants for arrays	2012-06-15	Paper

This page was built for person: Francesco Alberti