622 search results - page 121 / 125 » Answer Set Programming and Bounded Model Checking |
PROFES
2001
Springer
14 years 10 days ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
DAC
1998
ACM
14 years 5 days ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
COOTS
1997
13 years 9 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
DLOG
2010
13 years 6 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...