hyperproperties

From Wiktionary, the free dictionary
Jump to navigation Jump to search

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"