External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient Loop Conditions for Bounded Model Checking Hyperproperties

Tzu-Han Hsu, César Sánchez 0001, Sarai Sheinvald, Borzoo Bonakdarpour. Efficient Loop Conditions for Bounded Model Checking Hyperproperties. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Volume 13993 of Lecture Notes in Computer Science, pages 66-84, Springer, 2023. [doi]

Authors

Tzu-Han Hsu

This author has not been identified. Look up 'Tzu-Han Hsu' in Google

César Sánchez 0001

This author has not been identified. Look up 'César Sánchez 0001' in Google

Sarai Sheinvald

This author has not been identified. Look up 'Sarai Sheinvald' in Google

Borzoo Bonakdarpour

This author has not been identified. Look up 'Borzoo Bonakdarpour' in Google
runs on