Push-button verification of file systems via crash refinement

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang
[Google Scholar] [DBLP] [Citeseer]

12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)
Pages 1-16
2016
Topic(s): os verification
  • Scaling symbolic evaluation for automated verification of systems code with Serval [nelson:sosp:2019]