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
PublisherUSENIX Association
ISBN Number978-1-939133-19-9
URLhttps://www.usenix.org/conference/osdi20/presentation/hance