![Formal methods / Verification / Technology / Refinement / Specification / File system / Evaluation / Business Formal methods / Verification / Technology / Refinement / Specification / File system / Evaluation / Business](https://www.pdfsearch.io/img/db644d008d53d6769a956ae129d87670.jpg) Date: 2018-08-24 20:19:39Formal methods Verification Technology Refinement Specification File system Evaluation Business | | Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of WashingtonAdd to Reading ListSource URL: unsat.cs.washington.eduDownload Document from Source Website File Size: 742,24 KBShare Document on Facebook
|