696 search results - page 11 / 140 » Explaining abstract counterexamples |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
CAL
2007
13 years 7 months ago
2007
Abstract— Cache Partitioning has been proposed as an interesting alternative to traditional eviction policies of shared cache levels in modern CMP architectures: throughput is im...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ndence fails. In the conclusion we address the question of an abstract criterion that explains the results.
CAI
2006
Springer
13 years 7 months ago
2006
Springer
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...