search

xldrx / reading_group

3 stars 3 forks source link

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems #374

Closed xldrx closed 8 years ago