most citedComplete Local Reasoning About Parameterized Programs Over Topologies (Extended Version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…