928 search results - page 61 / 186 » Interpolation-sequence based model checking |
103
click to vote
ATVA
2008
Springer
15 years 1 days ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
INFORMATICALT
2011
14 years 5 months ago
2011
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...
MICAI
2005
Springer
15 years 3 months ago
2005
Springer
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 ...
PTS
2004
14 years 11 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
102
click to vote
WOODPECKER
2001
14 years 11 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...