4962 search results - page 37 / 993 » Stochastic Model Checking |
ARTS
1999
Springer
13 years 12 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
EOR
2008
13 years 7 months ago
2008
Based on the polyhedral representation of K
CAV
2001
Springer
14 years 4 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...