SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.
Tom RidgeDavid SheetsThomas TuerkAndrea GiuglianoAnil MadhavapeddyPeter SewellPublished in: SOSP (2015)
Keyphrases
- formal specification
- file system
- real world
- specification languages
- model checking
- object oriented design
- specification language
- process algebra
- reverse engineering
- data transfer
- flash memory
- formal methods
- case study
- concurrent systems
- storage systems
- database
- search tools
- formal verification
- test suite
- continuous media
- software components
- storage devices
- multi agent systems
- temporal logic
- scalable distributed
- oracle database