USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Using Crash Hoare Logic for Certifying the FSCQ File System
Submitted by arnold on April 19, 2016 - 5:45 pm
| Title | Using Crash Hoare Logic for Certifying the FSCQ File System |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Chen H, Ziegler D, Chajed T, Chlipala A, M. Kaashoek F, Zeldovich N |
| Conference Name | 2016 USENIX Annual Technical Conference (USENIX ATC 16) |
| Date Published | 06/2016 |
| Publisher | USENIX Association |
| Conference Location | Denver, CO |
| URL | https://www.usenix.org/conference/atc16/technical-sessions/presentation/chen_haogang |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX