Decision Procedures for Flat Array Properties.

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Browse the full TACAS paper archive.