This repository contains a 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.
tniessen/hyena0
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|