Stem sibyl$ (all stems)
2 papers:
- SOSP-2015-RidgeSTGMS #file system #named #specification #testing
- SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
- CSCW-1990-Lee #design #named
- SIBYL: A Tool for Managing Group Design Rationale (JL), pp. 79–92.