Assertion list
state (aspect of latch ) → ReceivesAction
Results from Ascent++: 4
state → ReceivesAction → verified 0.76
state → ReceivesAction → shown in fig 0.68
state → ReceivesAction → tracked 0.60
state → ReceivesAction → changed 0.25