Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes.
| Autor: | Chajed, Tej1 tchajed@mit.edu, Haogang Chen1 hchen@csail.mit.edu, Chlipala, Adam1 adamc@csail.mit.edu, Kaashoek, M. Frans1 kaashoek@csail.mit.edu, Zeldovich, Nickolai1 nickolai@csail.mit.edu, Ziegler, Daniel1 dmz@mit.edu |
|---|---|
| Zdroj: | Communications of the ACM. Apr2017, Vol. 60 Issue 4, p75-84. 10p. 2 Diagrams, 6 Charts, 1 Graph. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|