research
∙
10/31/2019
Reductions for Safety Proofs (Extended Version)
Program reductions are used widely to simplify reasoning about the corre...
research
∙
05/22/2019