Synchronous interfaces and assume/guarantee contracts

DOI10.1007/978-3-319-63121-9_12MaRDI QIDQ5217305zbMATH OpenOpenAlexFDO

Authors Benoît Caillaud, Albert Benveniste

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01616369/file/Kim.pdf

zbMATH Keywords

compositional designassume/guarantee contractMoore interfacesynchronous interface

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synchronous and Bidirectional Component Interfaces
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• Assume-guarantee contracts for continuous-time systems
• Modal Interface Automata
• Contracts for schedulability analysis

This page was built for publication: Synchronous interfaces and assume/guarantee contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217305)