USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Metis: File System Model Checking via Versatile Input and State Exploration
Submitted by admin on December 13, 2023 - 12:19 pm
| Title | Metis: File System Model Checking via Versatile Input and State Exploration |
| Publication Type | Conference Paper |
| Year of Publication | 2024 |
| Authors | Liu Y, Adkar M, Holzmann G, Kuenning G, Liu P, Smolka SA, Su W, Zadok E |
| Conference Name | 22nd USENIX Conference on File and Storage Technologies (FAST 24) |
| Date Published | 02/2024 |
| Publisher | USENIX Association |
| Conference Location | Santa Clara, CA |
| ISBN Number | 978-1-939133-38-0 |
| URL | https://www.usenix.org/conference/fast24/presentation/liu-yifei |