HySO - Model Checking of Second-Order Hyperproperties

Please take a look at the code repostiory.