An Efficient Formal Verification Method for Concurrent Programs

Jianyu Zhang,Long Zhang, Jingjing Zhang,Feng Yang

Fourth International Conference on Network Communication and Information Security (ICNCIS 2024)（2025）

Cited 0|Views2

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined