Automatic Verification of Serializers
| dc.contributor.advisor | Liskov, Barbara H. | en_US |
| dc.contributor.author | Atkinson, Russ R. | en_US |
| dc.date.accessioned | 2023-03-29T15:03:40Z | |
| dc.date.available | 2023-03-29T15:03:40Z | |
| dc.date.issued | 1980-03 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149512 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-229 | |
| dc.title | Automatic Verification of Serializers | en_US |
