Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo. Incremental formal verification of hardware. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 135-143, FMCAD Inc., 2011. [doi]
Abstract is missing.