HySO - Model Checking of Second-Order Hyperproperties

This is the accompanying artifact for

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger. Second-Order Hyperproperties. International Conference on Computer-Aided Verification (CAV) 2023.

The artifact contains the tool HySO, a (partial) model checker for a fragment of Hyper₂LTL (second-order HyperLTL).

For the latest version of HySO visit hyso-tool.github.io.