#

hyperproperties

Here are 2 public repositories matching this topic...

liflab / hypercompliance

A BeepBeep palette to evaluate hyperqueries on event logs

event-log compliance beepbeep hyperproperties xes beepbeep-3-palette hyperqueries hypercompliance

Updated Oct 8, 2024
Java

rfago / hyperAlloy

Extension of Alloy Analyzer for Hyperproperties (HyperLTL) via HyperQB and AutoHyper integration.

model-checking alloy formal-verification bounded-model-checking hyperproperties hyperltl hyperqb autohyper hyperalloy

Updated Oct 13, 2025
Java

Add this topic to your repo

To associate your repository with the hyperproperties topic, visit your repo's landing page and select "manage topics."