2 search results - page 1 / 1 » ConSUS: A Scalable Approach to Conditioned Slicing |
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
156
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...