Publications¶
For some background material on bounded model checking for hyperproperties and HyperQB see these papers by the HyperQB team:
HyperQB: A Bounded Model Checker for Hyperproperties. Tzu-Han Hsu, Milad Rabizadeh, Kenneth Rogale, Fedor Filippov, Marco A. de Oliveira Batista, Cesar Sanchez, and Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. Tzu-Han Hsu, César Sánchez, and Borzoo Bonakdarpour (TACAS 2021)
A Temporal Logic for Asynchronous Hyperproperties. Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Cesar Sanchez, Bernd Finkbeiner (CAV 2021)
Bounded Model Checking for Asynchronous Hyperproperties. Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Cesar Sanchez (TACAS 2023)
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. Tzu-Han Hsu, Cesar Sanchez, Sarai Sheinvald, Borzoo Bonakdarpour (TACAS 2023)