Structured Specifications and Interactive Proofs with KIV
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An industrial strength theorem prover for a logic based on Common LispIEEE Transactions on Software Engineering, 1997
- IMPS: An updated system descriptionLecture Notes in Computer Science, 1996
- CtCoq: A system presentationPublished by Springer Nature ,1996
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectivesPublished by Springer Nature ,1992
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- A compiler for conditional term rewriting systemsPublished by Springer Nature ,1987
- Dynamic LogicPublished by Springer Nature ,1984