An analysis of refinement in an abortive paradigm

DOI10.1007/S00165-006-0006-3MaRDI QIDQ851133zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 715447 (Why is no real title available?)
• scientific article; zbMATH DE number 2013581 (Why is no real title available?)
• scientific article; zbMATH DE number 2052653 (Why is no real title available?)
• scientific article; zbMATH DE number 2172807 (Why is no real title available?)
• A logic for schema-based program development
• A single complete refinement rule for Z
• A single complete rule for data refinement
• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
• An analysis of operation-refinement in an abortive paradigm
• Data Refinement
• Investigating Z
• Power simulation and its relation to traces and failures refinement
• Prespecification in data refinement
• Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005
• Proof of correctness of data representations
• Refinement Calculus
• Revising \(Z\). I: Logic and semantics
• Revising \(Z\). II: Logical development
• The specification statement
• 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
• Waiting time solutions of the shallow water equations
• 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

Cited in

(5)

• scientific article; zbMATH DE number 2013581 (Why is no real title available?)
• scientific article; zbMATH DE number 2052653 (Why is no real title available?)
• 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

Describes a project that uses

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)