Scalable Automated Verification via Expert-System Guided Transformations.

Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann

Browse the full FMCAD paper archive.