Model-based construction and verification of critical systems using composition and partial refinement

DOI10.1007/s10703-010-0106-9zbMath1209.68321OpenAlexW2090216527MaRDI QIDQ633296

Ralph D. Jeffords, Myla M. Archer, Elizabeth I. Leonard, Constance L. Heitmeyer

Publication date: 31 March 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-010-0106-9

zbMATH Keywords

theorem provingformal specificationcompositionmaskingfault-tolerancerefinementproof rules

Mathematics Subject Classification ID

Related Items (1)

Simulation relations for fault-tolerance

Uses Software

• Salsa

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence of refinement mappings
• Engineering and theoretical underpinnings of retrenchment
• Defining liveness
• Statecharts: a visual formalism for complex systems
• Transformation of programs for fault-tolerance
• Formally Verifying Fault Tolerant System Designs
• Synthesis of fault-tolerant concurrent programs
• Aspect Categories and Classes of Temporal Properties
• Abstract State Machines
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

This page was built for publication: Model-based construction and verification of critical systems using composition and partial refinement