View-Based Owicki–Gries Reasoning for Persistent x86-TSO

Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson

Tel Aviv University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'View-Based Owicki–Gries Reasoning for Persistent x86-TSO'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science