1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
Complete Local Reasoning About Parameterized Programs Over Topologies (Extended Version)
Ruotong Cheng, Azadeh Farzan
This paper investigates the algorithmic safety verification problem of infinite-state parameterized concurrent programs over a rich set of communication topologies. The goal is to…
cs.LO2026
Symmetric Proofs of Parameterized Programs
Ruotong Cheng, Azadeh Farzan
We investigate the problem of safety verification of infinite-state parameterized programs that are formed based on a rich class of topologies. We introduce a new proof system, cal…
cs.PL2025
Products of Recursive Programs for Hypersafety Verification (Extended Version)
Ruotong Cheng, Azadeh Farzan
We study the problem of automated hypersafety verification of infinite-state recursive programs. We propose an infinite class of product programs, specifically designed with recurs…