455 search results - page 12 / 91 » Understanding Counterexamples with explain |
102
click to vote
CATA
2006
15 years 15 days ago
2006
Neither simulation results nor real system results give an explanation to the behavior of advanced computer systems for the full design spectrum. In this paper, we present simple ...
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...
104
click to vote
ASPDAC
2011
ACM
14 years 2 months ago
2011
ACM
— Code coverage is a popular method to find design bugs and verification loopholes. However, once a piece of code is determined to be unreachable, diagnosing the cause of the p...
NLUCS
2008
15 years 16 days ago
2008
Abstract. To develop a computational model of understanding spatial expressions, various factors should be taken into account. We have been exploring the relations between the good...
DEBU
2007
14 years 11 months ago
2007
Provenance is information that aids understanding and troubleshooting database queries by explaining the results in terms of the input. Slicing is a program analysis technique for...