Calculational Reasoning Revisited An Isabelle/Isar Experience
- 24 August 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Window Inference In The HOL SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Three Tactic Theorem ProvingPublished by Springer Nature ,1999
- On the Implementation of an Extensible Declarative Proof LanguagePublished by Springer Nature ,1999
- Isar — A Generic Interpretative Approach to Readable Formal Proof DocumentsPublished by Springer Nature ,1999
- Structured calculational proofFormal Aspects of Computing, 1997
- Proof presentation for IsabellePublished by Springer Nature ,1997
- IsabellePublished by Springer Nature ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935