Sciweavers

Share
FASE
2011
Springer

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

7 years 10 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanoscale computing devices, to biological cellular processes. In order to tackle the inherent challenge of scalability, compositional approaches to verification are sorely needed. An example is assume-guarantee reasoning, where each component of a system is analysed independently, using assumptions about the other components that it interacts with. We discuss recent developments in the area of automated compositional verification techniques for probabilistic systems. In particular, we describe techniques to automatically generate probabilistic assumptions that can be used as the basis for compositional reasoning. We do so using algorithmic learning techniques, which have already proved to be successful for the generation of assumptions for compositional verification of non-probabilistic systems. We also present ...
Lu Feng, Marta Z. Kwiatkowska, David Parker
Added 28 Aug 2011
Updated 28 Aug 2011
Type Journal
Year 2011
Where FASE
Authors Lu Feng, Marta Z. Kwiatkowska, David Parker
Comments (0)
books