Generic tools via general refinement

DOI10.1016/J.ENTCS.2008.03.093MaRDI QIDQ2873690zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Steve Reeves, David Streader

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.093

zbMATH Keywords

basis for toolsflexible refinementrefinementtheory morphism

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• General refinement. I: Interfaces, determinism and special refinement
• A program refinement tool
• Algebraic foundations for specification refinements
• General refinement. II: Flexible refinement
• Refinement

Cites work

• A singleton failures semantics for communicating sequential processes
• Data Refinement
• General refinement. II: Flexible refinement
• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1289305 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2227867 (Why is no real title available?)
• Relational concurrent refinement
• Structured formal development in Isabelle
• The B-Book
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• scientific article; zbMATH DE number 2003150 (Why is no real title available?)
• General refinement. I: Interfaces, determinism and special refinement
• Contexts, refinement and determinism

Describes a project that uses

Uses Software

• Z
• CSP-prover

This page was built for publication: Generic tools via general refinement

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