QCP: A Practical Separation Logic-based C Program Verification Tool

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Xiwei, Feng, Yueyang, Lu, Xiaoyang, Lin, Tianchuan, Liu, Kan, Wang, Zhiyi, Wu, Shushu, Xie, Lihan, Yang, Chengxi, Zhong, Hongyi, Zhang, Zihan, Li, Juanru, Zhan, Naijun, Hu, Zhenjiang, Cao, Qinxiang
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2505.12878