A Satisfiability Solver for Hyperproperties
-
Updated
Apr 29, 2024 - C++
#
hyperproperties
Here are 4 public repositories matching this topic...
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.
-
Updated
Oct 28, 2024 - C++
Monitoring hyperproperties with Multi-trace prefix transducers
-
Updated
Oct 2, 2024 - Python
A BeepBeep palette to evaluate hyperqueries on event logs
-
Updated
Oct 8, 2024 - Java
Improve this page
Add a description, image, and links to the hyperproperties topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hyperproperties topic, visit your repo's landing page and select "manage topics."