Report copyright - Computation Tree Logic (CTL)...CTL Model Checking Labeling Algorithm Labeling Algorithm(III) E[y1 Uy2] If any state s is labeled with y2, label it with E[1 U 2]. Repeat: label any
Please pass captcha verification before submit form