3082 search results - page 22 / 617 » Deviation Analysis: A New Use of Model Checking |
158
Voted
BMCBI
2008
15 years 5 months ago
2008
Background: Microarray pre-processing usually consists of normalization and summarization. Normalization aims to remove non-biological variations across different arrays. The norm...
181
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
146
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
138
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
131
Voted
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...