3082 search results - page 67 / 617 » Deviation Analysis: A New Use of Model Checking |
169
click to vote
ICPADS
2005
IEEE
15 years 11 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
197
click to vote
ICFEM
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
158
click to vote
TVLSI
1998
15 years 5 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
160
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
150
click to vote
TACAS
2010
Springer
16 years 15 days ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...