Model-based construction and verification of critical systems using composition and partial refinement
From MaRDI portal
Publication:633296
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
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