搜索结果: 1-7 共查到“model checking”相关记录7条 . 查询时间(0.062 秒)
2017软件模型检验国际研讨会（International SPIN Symposium on Model Checking of Software）
2017 软件模型检验 国际研讨会
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.
Model Checking Large Network Protocol Implementations
Model Checking Large Network Protocol Implementations
2015/8/7
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network pro...
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
Invariant $P$-values for model checking
P-values invariance under transformations discrepancy mea-sures for model checking
2010/3/9
P-values have been the focus of considerable criticism based on
various considerations. Still, the P-value represents one of the most
commonly used statistical tools. When assessing the suitability ...
Minimum distance regression model checking with Berkson measurement errors
Kernel estimator L2 distance consistency local alternatives
2010/3/18
Lack-of-fit testing of a regression model with Berkson measurement
error has not been discussed in the literature to date. To fill
this void, we propose a class of tests based on minimized integrate...
Surprise and Evidence in Statistical Model Checking
Confirmation Induction Statistics Evidence
2008/4/21
There is considerable confusion about the role of p-values in statistical model checking. To clarify that point, I introduce the distinction between measures of surprise and measures of evidence which...