98 search results - page 6 / 20 » Probabilistic Verification for |
IJNS
2002
14 years 11 months ago
2002
76
Voted
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
TSMC
2008
14 years 11 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
103
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...