A theory of structured model-based specifications in Isabelle/HOL
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 243-258
- https://doi.org/10.1007/bfb0028398
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- An extended semantic foundation for Object-ZPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- A structure preserving encoding of Z in isabelle/HOLPublished by Springer Nature ,1996
- Object-Z: A specification language advocated for the description of standardsComputer Standards & Interfaces, 1995
- Z-Notation V1.1Published by Defense Technical Information Center (DTIC) ,1995
- Construction and deduction methods for the formal development of softwarePublished by Springer Nature ,1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- A fixedpoint approach to implementing (Co)inductive definitionsPublished by Springer Nature ,1994
- Object Orientation in ZPublished by Springer Nature ,1992
- Program specification and data refinement in type theoryPublished by Springer Nature ,1991