164 search results - page 29 / 33 » Model Checking Hierarchical Probabilistic Systems |
101
click to vote
HPCA
2009
IEEE
16 years 4 days ago
2009
IEEE
Decreasing hardware reliability is expected to impede the exploitation of increasing integration projected by Moore's Law. There is much ongoing research on efficient fault t...
117
click to vote
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
QEST
2007
IEEE
15 years 5 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
115
click to vote
SIGSOFT
2007
ACM
16 years 10 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...