Enhancing Sequential LEC Using a Cumulative Verification Methodology. - Nathan Sheeley; Nicolas Pena; Irfan Waheed; Mark H. Nodine (MTV, 2008)