Towards SMT Model Checking of Array-Based Systems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Browse the full CADE paper archive.