2 citations · 4 across the 5 of their papers we have counts for
Showing 2025 · cs.PLShow all
2 papers · 2 filters
cs.PL2025
QCP: A Practical Separation Logic-based C Program Verification Tool
Xiwei Wu, Yueyang Feng, Xiaoyang Lu +12
As software systems increase in size and complexity dramatically, ensuring their correctness, security, and reliability becomes an increasingly formidable challenge. Despite signif…
cs.PL2025★ 1 cited
Encode the Relational Hoare Logic into Standard Hoare Logic
Shushu Wu, Xiwei Wu, Qinxiang Cao
Verifying a real-world program's functional correctness can be decomposed into (1) a refinement proof showing that the program implements a more abstract high-level program and (2)…