Change and Delay Contracts for Hybrid System Component Verification

DOI10.1007/978-3-662-54494-5_8zbMath1430.68154OpenAlexW2600438659MaRDI QIDQ5215905

No author found.

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

hybrid systemsformal verificationcomponent-based development

Mathematics Subject Classification ID

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

Related Items (3)

A mechanically verified theory of contracts ⋮ Skill-Based Verification of Cyber-Physical Systems ⋮ From post-conditions to post-region invariants

Uses Software

• KeYmaera
• z3
• SPHIN

This page was built for publication: Change and Delay Contracts for Hybrid System Component Verification