66 citations · 67 across the 3 of their papers we have counts for
1 paper · 1 filter
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
Hyperproperties are properties of systems that relate multiple computation traces, including security and concurrency properties. This paper introduces a bounded model checking (BM…