928 search results - page 1 / 186 » Interpolation-sequence based model checking |
MICCAI
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
TOIS
1998
13 years 4 months ago
1998
LOGCOM
2002
13 years 4 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...