256 search results - page 52 / 52 » Temporal Logics and Model Checking for Fairly Correct System... |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...