An analysis of refinement in an abortive paradigm

DOI10.1007/S00165-006-0006-3zbMATH Open1105.68070OpenAlexW2081676304MaRDI QIDQ851133FDOQ851133

Authors: Moshe Deutsch, Martin C. Henson 

Publication date: 17 November 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-006-0006-3

Recommendations

• An analysis of operation-refinement in an abortive paradigm
• Understanding, Explaining, and Deriving Refinement
• Refining abstract interpretations
• Automated Technology for Verification and Analysis
• Formal Methods for Components and Objects
• Refinement by Interpretation in a General Setting
• Theory refinement combining analytical and empirical methods
• Successive Refinement of Abstract Sources
• An analysis of degeneracy

zbMATH Keywords

Data-refinementOperation-refinementSpecification languageSpecification logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Refinement Calculus
• Data Refinement
• Proof of correctness of data representations
• Title not available (Why is that?)
• The specification statement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005
• Prespecification in data refinement
• A single complete rule for data refinement
• A logic for schema-based program development
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
• ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4--6, 2003. Proceedings
• Power simulation and its relation to traces and failures refinement
• Revising \(Z\). I: Logic and semantics
• Revising \(Z\). II: Logical development
• An analysis of operation-refinement in an abortive paradigm
• Waiting time solutions of the shallow water equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
• A single complete refinement rule for Z
• Title not available (Why is that?)
• Investigating Z

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Incompleteness of relational simulations in the blocking paradigm
• Relational concurrent refinement. II: Internal operations and outputs
• An analysis of operation-refinement in an abortive paradigm

Uses Software

• Z

This page was built for publication: An analysis of refinement in an abortive paradigm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q851133)