3909 search results - page 280 / 782 » Extreme Model Checking |
144
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
123
click to vote
JAIR
2008
15 years 3 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
149
Voted
TSE
2011
14 years 10 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
122
Voted
ICCCN
2007
IEEE
15 years 9 months ago
2007
IEEE
— A method to detect moving objects on non-stationary background is proposed. The concurrent motions of foreground and background pixels make it extremely difficult to maintain a...
131
Voted
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
The notion of relations is extremely important in mathematics. In this paper, we use relations to describe the embedding problem and propose a novel stochastic relational model fo...