UniTO/anno3/vpc/consegne/3/3.8-Measures.solution/PT.ctl

3 lines
71 B
Text
Raw Permalink Normal View History

2020-05-08 19:23:51 +02:00
% MEASURE0
AG(#await_P == 1 -> EF(#critical_Q==1 || #critical_P == 1))