Skip to content

Latest commit

 

History

History
6 lines (5 loc) · 336 Bytes

README.md

File metadata and controls

6 lines (5 loc) · 336 Bytes

Hy∃n∀ (zero)

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.