1. 2
    SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (2015) video formalmethods osdev testing youtube.com
    amw-zero avatar via amw-zero 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments