Storage Systems are Distributed Systems (So Verify Them That Way!)

TitleStorage Systems are Distributed Systems (So Verify Them That Way!)
Publication TypeConference Paper
Year of Publication2020
AuthorsHance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B
Conference Name14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)
Date Published11/2020
Publisher{USENIX} Association
ISBN Number978-1-939133-19-9
URLhttps://www.usenix.org/conference/osdi20/presentation/hance