440 search results - page 2 / 88 » A challenge for atomicity verification |
POPL
2009
ACM
14 years 5 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
ISCA
2008
IEEE
13 years 11 months ago
2008
IEEE
Writing shared-memory parallel programs is error-prone. Among the concurrency errors that programmers often face are atomicity violations, which are especially challenging. They h...
PLPV
2010
ACM
13 years 6 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
ICSE
1992
IEEE-ACM
13 years 8 months ago
1992
IEEE-ACM
This paper presents the tools Ald
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...