14 citations · 14 across the 1 of their papers we have counts for
1 paper
Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
Hypersafety properties of arity n are program properties that relate n traces of a program (or, more generally, traces of n programs). Classic examples include determinism, i…