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

Association for Computing Machinery (ACM)49.8K subscribers

About this video

Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Describes formal specification and testing of POSIX file systems. Formal-methods approach to verifying correctness of core OS abstractions.

A 27-minute video from Association for Computing Machinery (ACM): “SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems”.

Programming & CS Engineering

Video by Association for Computing Machinery (ACM), played through YouTube's embedded player.

Part of SOSP '15