Change and delay contracts for hybrid system component verification
From MaRDI portal
Publication:5215905
DOI10.1007/978-3-662-54494-5_8zbMATH Open1430.68154OpenAlexW2600438659MaRDI QIDQ5215905FDOQ5215905
Authors:
Publication date: 13 February 2020
Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-54494-5_8
Recommendations
- Assume-guarantee contracts for continuous-time systems
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
- Probabilistic contracts for component-based design
- Probabilistic Contracts for Component-Based Design
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
Cited In (8)
- Skill-based verification of cyber-physical systems
- A contract-based approach to adaptivity
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
- A mechanically verified theory of contracts
- Assume-guarantee contracts for continuous-time systems
- From post-conditions to post-region invariants
- Component based design of hybrid systems: a case study on concurrency and coupling
- Reusable contracts for safe integration of reinforcement learning in hybrid systems
Uses Software
This page was built for publication: Change and delay contracts for hybrid system component verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215905)
