Retrenchment and refinement interworking: the tower theorems

DOI10.1017/S0960129514000061MaRDI QIDQ5740620zbMATH OpenFDO

Authors Richard Banach, C. Jeske

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129514000061

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2086962
• Renormalization towers and their forcing
• scientific article; zbMATH DE number 1877042
• Revisiting Taibleson's theorem
• The Topology of Resolution Towers
• Formal Methods for Hardware Verification
• Structure of towers and a new proof of the tight cut lemma
• Refining Rossberg's theorem
• Reflexion theorems
• scientific article; zbMATH DE number 3925296

Cites work

• Atomic actions, and their refinements to isolated protocols
• Composition mechanisms for retrenchment
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Data Refinement
• Engineering and theoretical underpinnings of retrenchment
• Program development by stepwise refinement
• Proof of correctness of data representations
• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• Stronger compositions for retrenchments

Cited in

(14)

• Sharp retrenchment, modulated refinement and simulation
• Composition mechanisms for retrenchment
• scientific article; zbMATH DE number 2079994 (Why is no real title available?)
• scientific article; zbMATH DE number 1487747 (Why is no real title available?)
• The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits
• The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
• scientific article; zbMATH DE number 2086962 (Why is no real title available?)
• Retrenching the purse: the balance enquiry quandary, and generalised and (1, 1) forward refinements
• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• FM 2005: Formal Methods
• Simple feature engineering via neat default retrenchments
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Stronger compositions for retrenchments
• Engineering and theoretical underpinnings of retrenchment

This page was built for publication: Retrenchment and refinement interworking: the tower theorems

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