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)