Scalable Automated Verification via Expert-System Guided Transformations

Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones which may be formally discharged. While powerful, such systems require a fair amount of user sophistication and experimentation to yield greatest benefits

• Type: Conference
• Year: 2004
• Where: FMCAD
• Authors: Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
• Keywords: Efficient Proof, Expert System, FMCAD 2004, Formal Methods, Proof Strategy