43 citations · 119 across the 29 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2022
Finite-Word Hyperlanguages
Borzoo Bonakdarpour, Sarai Sheinvald
Formal languages are in the core of models of computation and their behavior. A rich family of models for many classes of languages have been widely studied. Hyperproperties lift c…
cs.FL2020
Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
Hyperproperties are properties of systems that relate multiple computation traces, including security and concurrency properties. This paper introduces a bounded model checking (BM…
cs.FL2020
Automata for Hyperlanguages
Borzoo Bonakdarpour, Sarai Sheinvald
Hyperproperties lift conventional trace properties from a set of execution traces to a set of sets of execution traces. Hyperproperties have been shown to be a powerful formalism f…