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/ReportBookProfessional

    36 Downloads (Pure)

    Fingerprint

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

    Engineering & Materials Science