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

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

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

(15)

• Tightening the contract refinements of a system architecture
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Unifying theories of reactive design contracts
• Probabilistic contracts for component-based design
• Contracts for schedulability analysis
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Multiple Viewpoint Contract-Based Specification and Design
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• scientific article; zbMATH DE number 1487497 (Why is no real title available?)
• Change and delay contracts for hybrid system component verification
• Behavioural contracts for a sound assembly of components
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Abstraction-Refinement for Hierarchical Probabilistic Models
• 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)