https://github.com/tniessen/hyena0

Prototype implementation of a hyperbug finder for ∀∃-safety hyperproperties to accompany the OOPSLA 2024 paper "Finding ∀∃ Hyperbugs using Symbolic Execution" by Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher.

bounded-model-checking hyperproperties infinite-state-systems symbolic-execution

Last synced: 07 May 2025