Published January 20, 2024 | Version v0.0.1
Software Open

Artifact Package: the Metis File System Model Checking Framework

Creators

  • 1. ROR icon Stony Brook University
  • 2. Nimble Research
  • 3. ROR icon Harvey Mudd College

Description

Artifact package for the USENIX FAST 2024 paper: "Metis: File System Model Checking via Versatile Input and State Exploration".

Files

sbu-fsl/Metis-v0.0.1.zip

Files (603.4 kB)

Name Size Download all
md5:45ed44ec52a927a2d7494010282692c4
603.4 kB Preview Download

Additional details

Additional titles

Alternative title (English)
Metis: File System Model Checking via Versatile Input and State Exploration (FAST 2024)

Related works

Is supplement to
Software: https://github.com/sbu-fsl/Metis/tree/v0.0.1 (URL)

Funding

FMitF: Track I: NLP-Assisted Formal Verification of the NFS Distributed File System Protocol 1918225
National Science Foundation

Dates

Accepted
2023-12-08
Date accepted to USENIX FAST 2024