6608 search results - page 37 / 1322 » On the Completeness of Model Checking |
134
click to vote
ASE
2005
15 years 19 days ago
2005
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
105
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
142
click to vote
JAIR
2012
13 years 3 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
95
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...