TY  - RPRT
TI  - CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
AU  - Harshita Gupta
AU  - Mayank Kabra
AU  - Rakesh Nadig
AU  - Nika Mansouri Ghiasi
AU  - Sahand Divsalar
AU  - F. Nisa Bostanci
AU  - Ataberk Olgun
AU  - Konstantinos Kanellopoulos
AU  - Jisung Park
AU  - Haiyu Mao
AU  - Abdullah Giray Yaglikci
AU  - Mohammad Sadrosadati
AU  - Onur Mutlu
PY  - 2026
UR  - https://arxiv.org/abs/2609.10347
ID  - 2609.10347
ER  -