Yifei/nfs ganesha metis 2024 0417

sbu-fsl / Metis

Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

Apache License 2.0

7 stars 1 forks source link

Closed Yifei-Liu closed 1 month ago

Yifei-Liu commented 1 month ago

Support checking NFS-Ganesha with VeriFS2 and Ext4 in Metis, and various changes, configuration files, and scripts