Model-based construction and verification of critical systems using composition and partial refinement
From MaRDI portal
Publication:633296
DOI10.1007/S10703-010-0106-9zbMATH Open1209.68321OpenAlexW2090216527MaRDI QIDQ633296FDOQ633296
Authors: Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard 
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
Recommendations
- An Approach to Modelling and Verification of Component Based Systems
- Verification of component-based system using model checking
- Compositional Verification for Component-Based Systems and Application
- Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
- A compositional approach to the verification of hybrid systems
- Compositional Model Checking of Concurrent Systems
- A framework for the functional verification of SystemC models
Cites Work
- Title not available (Why is that?)
- Statecharts: a visual formalism for complex systems
- Abstract State Machines
- The existence of refinement mappings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Synthesis of fault-tolerant concurrent programs
- Engineering and theoretical underpinnings of retrenchment
- Title not available (Why is that?)
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
- Defining liveness
- Aspect Categories and Classes of Temporal Properties
- Transformation of programs for fault-tolerance
- Formally verifying fault tolerant system designs
Cited In (3)
Uses Software
This page was built for publication: Model-based construction and verification of critical systems using composition and partial refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633296)
