117
Voted
SIGSOFT
2010
ACM
15 years 18 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...