Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: hyperproperties
reactive-systems/eahyper
A Satisfiability Solver for Hyperproperties
Language: C++ - Size: 4.31 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 1
ista-vamos/vamos-mpt
Monitoring hyperproperties with Multi-trace prefix transducers
Language: Python - Size: 140 KB - Last synced: 7 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0
liflab/hypercompliance
A BeepBeep palette to evaluate hyperqueries on event logs
Language: Java - Size: 735 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0