Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

DOI10.1007/978-3-540-73196-2_1MaRDI QIDQ3614835zbMATH OpenOpenAlexFDO

Authors Susanne Graf, Sophie Quinton

Publication date 10 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_1

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic implementation of connectors in BIP
• Probabilistic Contracts for Component-Based Design
• VCS: a verifier for component-based systems
• Probabilistic contracts for component-based design
• From hierarchical BIP to Petri calculus

Cites work

• A Theory of Communicating Sequential Processes
• An Approach to Modelling and Verification of Component Based Systems
• Causal semantics for the algebra of connectors
• Composition for component-based modeling
• Compositional minimisation of finite state systems using interface specifications
• Concurrency verification. Introduction to compositional and noncompositional methods
• Models for concurrency: Towards a classification

Cited in

(11)

• Conditions of contracts for separating responsibilities in heterogeneous systems
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Model construction and priority synthesis for simple interaction systems
• Parameterized systems in BIP: design and model checking
• Symbolic implementation of connectors in BIP
• VCS: a verifier for component-based systems
• From hierarchical BIP to Petri calculus
• Change and delay contracts for hybrid system component verification
• Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
• Everything Is PSPACE-Complete in Interaction Systems
• Contract lenses: Reasoning about bidirectional programs via calculation

This page was built for publication: Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

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