GitHub topics: hyperproperties
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.
Language: C++ - Size: 52.7 KB - Last synced at: 9 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
reactive-systems/eahyper
A Satisfiability Solver for Hyperproperties
Language: C++ - Size: 4.31 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1
ista-vamos/vamos-mpt
Monitoring hyperproperties with Multi-trace prefix transducers
Language: Python - Size: 140 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
liflab/hypercompliance
A BeepBeep palette to evaluate hyperqueries on event logs
Language: Java - Size: 735 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
