| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
A Satisfiability Solver for Hyperproperties
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.
Runtime verification of hypernode logic and automata
A BeepBeep palette to evaluate hyperqueries on event logs
Monitoring hyperproperties with Multi-trace prefix transducers
Prototypical Implementation for the Research Paper "Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise"
Extension of Alloy Analyzer for Hyperproperties (HyperLTL) via HyperQB and AutoHyper integration.
Go PoC for ASM-based behavioral attestation of information-flow non-interference in a concurrent multi-level stack. Companion artifact for our MEMOCODE 2026 paper.
Add a description, image, and links to the hyperproperties topic page so that developers can more easily learn about it.
To associate your repository with the hyperproperties topic, visit your repo's landing page and select "manage topics."
| Back | FazBrowse Home | New Git URL |