3 citations · 3 across the 1 of their papers we have counts for
1 paper
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1
We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formula…