Verifying concurrent software using movers in CSPEC

TitleVerifying concurrent software using movers in {CSPEC}
Publication TypeConference Paper
Year of Publication2018
AuthorsChajed T, Kaashoek F, Lampson B, Zeldovich N
Conference Name13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18)
Date Published10/2018
Publisher{USENIX} Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-08-3
URLhttps://www.usenix.org/conference/osdi18/presentation/chajed