2 citations · 2 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
VERDICT: Multi-Agent Parallel Modular Verification
Tengjie Lin, Zhongyi Wang, Haokun Li +2
Deductive verification scales to large software systems through modular reasoning, where formal contracts summarize the behavior of individual functions and enable their independen…
cs.PL2026
Array-Carrying Symbolic Execution for Function Contract Generation
Weijie Lu, Jingyu Ke, Hongfei Fu +4
Function contract generation is a classical problem in program analysis that targets the automated analysis of functions in a program with multiple procedures. The problem is funda…