Generic Tools via General Refinement

DOI10.1016/j.entcs.2008.03.093zbMath1279.68060OpenAlexW2029168211WikidataQ59651694 ScholiaQ59651694MaRDI QIDQ2873690

David Streader, Steve Reeves

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

refinementtheory morphismbasis for toolsflexible refinement

Mathematics Subject Classification ID

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

Related Items (1)

Contexts, refinement and determinism

Uses Software

• Z
• CSP-prover

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational concurrent refinement
• A singleton failures semantics for communicating sequential processes
• The B-Book
• Data Refinement
• General Refinement, Part Two: Flexible Refinement
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Generic Tools via General Refinement