Probabilistic Contracts for Component-Based Design
DOI10.1007/978-3-642-15643-4_24zbMATH Open1305.68122OpenAlexW1601582835MaRDI QIDQ4931301FDOQ4931301
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
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
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)
Cited In (9)
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Behavioural contracts for a sound assembly of components
- Probabilistic contracts for component-based design
- 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
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)
