Verifying Sequentially Consistent Memory

Ed Brinksma, Jim Davies, Rob Gerth, Susanne Graf, Wil Janssen, Bengt Jonsson, Shmuel Katz, Gavin Lowe, Mannes Poel, Amir Pnueli, Camilla Rump, Job Zwiers

    Research output: Book/Report › Book › Professional

    31 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Verifying Sequentially Consistent Memory'. Together they form a unique fingerprint.

    Engineering & Materials Science