System Description: An Interface Between CLAM and HOL

Authors:
Konrad Slind;Michael J. C. Gordon;Richard J. Boulton;Alan Bundy
Affiliations:
-;-;-;-
Venue:
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Year:
1998

Citing 0
Cited 3

JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Cooperative reasoning for automatic software verification

Proceedings of the second workshop on Automated formal methods
Tool Integration for Reasoned Programming

Verified Software: Theories, Tools, Experiments

Quantified Score

Hi-index	0.00

Visualization

Abstract