Table 6

Level partitioning

BarrierReachability setAntecedent setIntersection setLevel
C11, 2, 3, 4, 5, 6, 7, 8, 9, 10, 111, 2, 3, 5, 6, 71, 2, 3, 5, 6, 7V
C21, 2, 3, 4, 5, 6, 7, 8, 9, 10, 111, 2, 3, 5, 6, 71, 2, 3, 5, 6, 7V
C31, 2, 3, 4, 5, 6, 7, 8, 9, 10, 111, 2, 3, 5, 6, 71, 2, 3, 5, 6, 7V
C44, 101, 2, 3, 4, 5, 6, 7, 8, 9, 114II
C51, 2, 3, 4, 5, 6, 7, 8, 9, 10, 111, 2, 3, 5, 6, 71, 2, 3, 5, 6, 7V
C61, 2, 3, 4, 5, 6, 7, 8, 9, 10, 111, 2, 3, 5, 6, 71, 2, 3, 5, 6, 7V
C71, 2, 3, 4, 5, 6, 7, 8, 9, 10, 111, 2, 3, 5, 6, 71, 2, 3, 5, 6, 7V
C84, 8, 9, 101, 2, 3, 5, 6, 7, 8, 9, 118, 9III
C94, 8, 9, 101, 2, 3, 5, 6, 7, 8, 9, 118, 9III
C10101, 2, 3, 4, 5, 6, 7, 8, 9, 10, 1110I
C114, 8, 9, 10, 111, 2, 3, 5, 6, 7, 1111IV
[ViewLarge]
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal