Prove : A Runtime Monitor of Linear Temporal Properties over Partial Order Executions
The experiments show that the clock-skew bound can dramatically reduce the explored state space and, in some cases, change the verdict by eliminating otherwise possible linearizations.
Moran Omer, Doron A. Peled, Borzoo Bonakdaropur et al.
· 0 citations