Probabilistic Contracts for Component-Based Design

DOI10.1007/978-3-642-15643-4_24zbMath1305.68122OpenAlexW1601582835MaRDI QIDQ4931301

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)

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