您当前的位置：
首页 >
文章列表页 >
Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic
Papers | 更新时间：2025-12-25

    • Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

    • Journal on Communications   Vol. 46, Issue 11, Pages: 233-243(2025)

    • DOI：10.11959/j.issn.1000-436x.2025201    

      CLC： TP311

    • Received：25 February 2025，

      Revised：2025-11-07，

      Accepted：10 November 2025，

      Published：25 November 2025

    移动端阅览

  • ZHENG Xinmin,LI Mingshu,YANG Qiusong,et al.Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic[J].Journal on Communications,2025,46(11):233-243. DOI： 10.11959/j.issn.1000-436x.2025201.

  •  
  •  

0

Views

764

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Download
Export Citation
Share
Add to favorites
Add to my album

Related Articles

Design, implementation and formal verification of BGP proxy for mimic router
Formal verification and implementation of safety computer communication management mechanism
Backdoor detection in embedded system firmware without file system

Related Author

Qiang GE
Weihai XU
Yiming JIANG
Hailong MA
Hongtao YU
Jin ZHANG
Yuan CAO
Heng-kui LI

Related Institution

The Endogenous Security Research Centre, Purple Mountain Laboratories
School of Cyber Science and Engineering, Southeast University
Institute of Information Technology, Information Engineering University
School of Electronic and Information Engineering, Beijing Jiaotong University
National Engineering Research Center of Rail Traffic Control System, Beijing Jiaotong University
0