Formal languages are in the core of models computation and their behavior. A rich family for many classes have been widely studied. Hyperproperties lift conventional trace-based from a set execution traces to sets executions. shown be powerful formalism expressing reasoning about information-flow security policies important properties cyber-physical systems. Although there is an extensive body ...