Wiktionary

hyperproperties

English

edit

Noun

edit

hyperproperties

  1. plural of hyperproperty
    • 2016, Bernd Finkbeiner, Christopher Hahn, “Deciding Hyperproperties”, in arXiv‎[1]:
      Many practical hyperproperties can be expressed as alternation-free formulas.
Retrieved from "https://en.wiktionary.org/w/index.php?title=hyperproperties&oldid=75723605"