Preview
Unable to display preview. Download preview PDF.
References
Gallier J.H., Logic for Computer Science—Foundations of Automated Theorem Proving, Harper & Row Publishers, New York, 1986
M.J.C. Gordon, HOL: A Proof Generating System for Higher-Order Logic, in VLSI Specification, Verification and Synthesis, G. Birtwistle, P.A. Subrahrnanyam (eds.), Kluwer Academic Press, 1988
Gentzen G., Untersuchungen über das logische Schlieβen, Mathematische Zeitschrift, Vol. 39, 1935
F.J. Pelletier, Seventy-Five Problems for Testing Automatic Theorem Provers, Journal of Automated Reasoning, Vol. 2, pp 191–216, 1986
S. Reeves, Semantic tableaux as a framework for automated theorem-proving, Departement of Computer Science and Statistics, Queen Mary College, Univ. of London, 1987
Schneider K., Ein Sequenzenkalkül für die Hardware-Verifikation in HOL, Diploma Thesis, Institute of Computer Design and Fault-Tolerance, University of Karsruhe, 1991
Schneider K., Kumar R., Kropf T., Automating most parts of hardware proofs in HOL, Proc. Workshop on Computer Aided Verification, Aalborg, July 1991
Schneider K., Kumar R., Kropf T., Structuring Hardware Proofs: First Steps towards Automation in a Higher-Order Environment, Proc. VLSI 1991, Edinburgh, P.B. Denyer, A. Halaas (Eds.), North-Holland, 1991
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schneider, K., Kumar, R., Kropf, T. (1992). The FAUST — prover. In: Kapur, D. (eds) Automated Deduction—CADE-11. CADE 1992. Lecture Notes in Computer Science, vol 607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55602-8_221
Download citation
DOI: https://doi.org/10.1007/3-540-55602-8_221
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55602-2
Online ISBN: 978-3-540-47252-0
eBook Packages: Springer Book Archive