10 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
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…