Probabilistic Contracts for Component-Based Design

DOI10.1007/978-3-642-15643-4_24MaRDI QIDQ4931301zbMATH OpenOpenAlexFDO

Authors Dana N. Xu, Alain Girault, Gregor Gössler

Publication date 4 October 2010

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15643-4_24

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) 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

• Probabilistic contracts for component-based design
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• An Algebraic Semantics for Contract-Based Software Components
• Verifiable abstractions for contract-oriented systems
• Behavioural contracts for a sound assembly of components
• Implementation and Application of Automata
• Component composition preserving behavioral contracts based on communication traces

Cited in

(14)

• Change and delay contracts for hybrid system component verification
• Contracts for schedulability analysis
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Unifying theories of reactive design contracts
• Behavioural contracts for a sound assembly of components
• Probabilistic contracts for component-based design
• Tightening the contract refinements of a system architecture
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Abstraction-Refinement for Hierarchical Probabilistic Models
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Multiple Viewpoint Contract-Based Specification and Design
• Information-flow interfaces

This page was built for publication: Probabilistic Contracts for Component-Based Design

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