45 citations · 110 across the 26 of their papers we have counts for
1 paper · 2 filters
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…