Verifying Commit-Atomicity Using Model-Checking
Abstract
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systemsSimilar works
This paper was published in CiteSeerX.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.