Sciweavers

293 search results - page 11 / 59
» Advances in Probabilistic Model Checking
Sort
View
ICFEM
2010
Springer
14 years 9 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
TOCL
2012
241views Formal Methods» more  TOCL 2012»
13 years 2 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
MICAI
2005
Springer
15 years 5 months ago
Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
Alexander L. Tulupyev, Sergey I. Nikolenko
ENTCS
2006
96views more  ENTCS 2006»
14 years 11 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad