Cooperating theorem provers: A case study combining HOL-Light and CVC Lite (2006)

Cached

Download Links

by Sean Mclaughlin , Clark Barrett , Yeting Ge
Venue:In Proc. 3 rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR ’05), volume 144(2) of Electronic Notes in Theoretical Computer Science
Citations:23 - 2 self

Document Versions

Cooperating theorem provers: A case study combining HOL-Light and CVC Lite –Sean Mclaughlin, Clark Barrett, Yeting Ge — 2006 — In Proc. 3 rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR ’05), volume 144(2) of Electronic Notes in Theoretical Computer Science