GitHub repository: sbu-fsl/Metis
Primary language: C
Description: Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)