Towards SMT Model-Checking of Array-based Systems (2008)

by S Ghilardi, E Nicolini, S Ranise, D Zucchelli
Venue:In Proc. of IJCAR, LNCS