Building Formal Method Tools in the Isabelle/Isar Framework
Authors:
- 22 August 2007
- book chapter
- Published by Springer Nature
- p. 352-367
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Engineering Self-Organising Systems2007
- Isabelle/Isar2006
- Proof General: A Generic Tool for Proof Development2000
- Inductive Datatypes in HOL — Lessons Learned in Formal-Logic Engineering1999
- Isar — A Generic Interpretative Approach to Readable Formal Proof Documents1999
- HOL Light: A tutorial introduction1996
- Edinburgh LCF1979