Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers.

Jason Baumgartner, Michael L. Case, Hari Mony

Browse the full FMCAD paper archive.