6608 search results - page 42 / 1322 » On the Completeness of Model Checking |
117
Voted
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
122
Voted
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
105
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
121
Voted
WACV
2002
IEEE
15 years 5 months ago
2002
IEEE
An automatic 3D model reconstruction technique is presented to acquire complete 3D models of real objects. The technique is based on novel approaches to pose estimation and integr...
132
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...