From Verified Scala to STIX File System Embedded Code Using Stainless.
Jad HamzaSimon FelixViktor KuncakIvo NussbaumerFilip SchramkaPublished in: NFM (2022)
Keyphrases
- file system
- application specific
- storage systems
- flash memory
- embedded systems
- source code
- search tools
- data transfer
- storage devices
- access patterns
- continuous media
- naming conventions
- information systems
- document repository
- multi tiered
- scalable distributed
- unauthorized access
- metadata management
- distributed environment
- general purpose