RTL
V
Click Linear Temporal Logic (LTL)FFGAG pA[p U q]putation Tree LogicpAF ppppppExample CTL SpecificationsInvented by E. Clarke and E. A. Emerson (early 1980s)Specification language for Symbolic Mode
#
#
#
#
REYO
Fortran
#
违法有害信息,请在下方选择原因提交举报