488 search results - page 1 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
93
Voted
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
CAV
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
154
Voted
FASE
2011
Springer
14 years 2 months ago
2011
Springer
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 nanosca...
NIPS
2001
15 years 9 days ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
115
Voted
TACAS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...