Integrating SVC and HOL with the PROSPER Toolkit
Stevenson, Alan and Dennis, Louise Abigail (2000) Integrating SVC and HOL with the PROSPER Toolkit. In: Theorem Proving in Higher Order Logics (TPHOLs 2000) Supplemental Proceedings, 2000, Oregon Graduate Institute, USA.
We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit.
Actions (Archive Staff Only)