Memory model specific verification of safety properties of concurrent programs

Simple item page
dc.contributor.advisorArun-Kumar, S.
dc.contributor.authorNarayan, Chinmay
dc.date.accessioned2017-06-07
dc.date.accessioned2024-10-29T10:56:45Z
dc.date.issued2017
dc.identifier.urihttp://10.17.50.146:4000/handle/123456789/2485
dc.relation.ispartofseriesTH5227
dc.subjectXXX
dc.titleMemory model specific verification of safety properties of concurrent programs
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-5227.pdf
Size:
406.95 KB
Format:
Adobe Portable Document Format
Download

Collections

Department of Computer Science and Engineering