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.

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger. EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Volume 10427 of Lecture Notes in Computer Science, pages 564-570, Springer, 2017. [doi]

Authors

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Christopher Hahn

This author has not been identified. Look up 'Christopher Hahn' in Google

Marvin Stenger

This author has not been identified. Look up 'Marvin Stenger' in Google
runs on