488 search results - page 1 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
CAV
2007
Springer
13 years 8 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...
FASE
2011
Springer
12 years 8 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
13 years 6 months 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...
TACAS
2010
Springer
13 years 2 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...