We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Automatic Verification of Serializers

Thumbnail Image
Download
Name

MIT-LCS-TR-229.pdf

Size

6.98 MB

Format

Adobe PDF

Checksum (MD5)

1558f200bc7ea7270040c8e5c8f6dd33

Author(s)
Atkinson, Russ R.
Advisor(s)
Liskov, Barbara H.
Date Issued
March 1980
Series/Report no.
MIT-LCS-TR-229
Abstract
This thesis is concerned with the problem of controlling concurrent access to shared data. A language construct is proposed to enforce such control; a specification language is defined to describe the formal requirements of such control; and verification techniques are given to prove that instances of the construct satisfy their specifications.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.