Retrenchment and punctured simulation

MaRDI QIDQ4494260zbMATH OpenFDO

Authors Richard Banach, M. Poppleton

Publication date 4 March 2001

zbMATH Keywords

B-Methodpunctured simulationretrenchment

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Sharp retrenchment, modulated refinement and simulation
• Engineering and theoretical underpinnings of retrenchment
• Minimally and maximally abstract retrenchments
• Retrenchment and refinement interworking: the tower theorems
• Composition mechanisms for retrenchment

Cited in

(11)

• Simulation relations for fault-tolerance
• Sharp retrenchment, modulated refinement and simulation
• Composition mechanisms for retrenchment
• Model evolution and refinement
• Controlling control systems: An application of evolving retrenchment
• Abstraction, refinement, enrichment
• 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
• Engineering and theoretical underpinnings of retrenchment

This page was built for publication: Retrenchment and punctured simulation

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