2 lines
53 B
Text
Executable file
2 lines
53 B
Text
Executable file
% MEASURE0
|
|
AG (#await_P==1 -> AF (#critical_P == 1))
|