2 papers
cs.PL2019
Reductions for Safety Proofs (Extended Version)
Azadeh Farzan, Anthony Vandikas
Program reductions are used widely to simplify reasoning about the correctness of concurrent and distributed programs. In this paper, we propose a general approach to proof simplif…
cs.PL2019
Reductions for Automated Hypersafety Verification
Azadeh Farzan, Anthony Vandikas
We propose an automated verification technique for hypersafety properties, which express sets of valid interrelations between multiple finite runs of a program. The key observation…