Reliability Analysis of ZFS
Aim
To perform a reliability analysis of ZFS using pointer corruption techniques and subsequently model checking methods.
Students
(In order of appearance)
- Shweta Krishnan
- Asim Kadav
- TBA
Status
Email me for status.
Project Guidelines
Click here for guidelines.
Docs
List of all, any and many documents: