hyperproperties

plural of hyperproperty

Noun

  1. plural of hyperproperty
    • Many practical hyperproperties can be expressed as alternation-free formulas. - 2016, Bernd Finkbeiner, Christopher Hahn, “Deciding Hyperproperties”, in arXiv: