1 paper
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…