1 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…