Scalable automated verification via expert-system guided transformations (2004)

by Hari Mony , Jason Baumgartner , Viresh Paruthi , Robert Kanzelman , Andreas Kuehlmann
Venue:in FMCAD
Citations:28 - 13 self