机译:Z / eves中的Posix文件存储:在经过验证的软件存储库中进行的实验
grand challenge; verification; POSIX; file systems; flash memory; theorem proving;
机译:使用Z / eves验证Cics文件控件Api:已验证软件存储库中的一项实验
机译:经过验证的软件存储库:迈向验证编译器的一步
机译:要存储和检索用于交互式学习环境的软件组件:ECR存储库
机译:Z / Eves中的POSIX文件存储:经过验证的软件存储库中的实验
机译:MapStoreFS:在MapStore上开发文件系统。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:Z / Eves中的posix文件存储:已验证软件存储库中的实验