2 search results - page 1 / 1 » CAST - A Task-Level Concurrency Analysis Tool |
ACSD
2003
IEEE
13 years 10 months ago
2003
IEEE
CAV
2009
Springer
14 years 5 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...