会议论文《微内核架构文件系统的形式化设计与验证方法研究》发表于2013中国计算机大会，探讨了基于微内核架构的文件系统设计与验证方法。文章采用形式化方法对文件系统的功能与安全性进行建模与验证，提升了系统的可靠性和可维护性。研究为构建高安全性、高稳定性的操作系统提供了理论支持和技术参考。
文档为pdf格式，0.39MB，总共6页。
举报
