21 search results - page 5 / 5 » Verifying Properties Using Sequential ATPG |
120
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...