Change and delay contracts for hybrid system component verification

DOI10.1007/978-3-662-54494-5_8MaRDI QIDQ5215905zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

component-based developmentformal verificationhybrid systems

Mathematics Subject Classification ID

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

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

(9)

• A mechanically verified theory of contracts
• Assume-guarantee contracts for continuous-time systems
• Component based design of hybrid systems: a case study on concurrency and coupling
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Skill-based verification of cyber-physical systems
• A contract-based approach to adaptivity
• Reusable contracts for safe integration of reinforcement learning in hybrid systems
• From post-conditions to post-region invariants
• Embedding differential dynamic logic in PVS

Describes a project that uses

Uses Software

• KeYmaera
• SPHIN
• z3

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)