1452 search results - page 64 / 291 » Algorithmic Analysis of Array-Accessing Programs |
112
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
122
click to vote
CC
2004
Springer
15 years 7 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
128
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
128
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...