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