📝 計算機科学・形式手法の分野で用いられる用語
CTL决议在模型检验中是一个核心问题。
(CTL juéyì zài móxíng jiǎnyàn zhōng shì yī gè héxīn wèntí.)
CTL决议はモデル検査における中心的な問題である。
研究人员提出了一种高效的CTL决议算法。
(Yánjiū rényuán tíchūle yī zhǒng gāoxiào de CTL juéyì suànfǎ.)
研究者は効率的なCTL决议アルゴリズムを提案した。
CTL决议的复杂度取决于状态空间的大小。
(CTL juéyì de fùzádù qǔjué yú zhuàngtài kōngjiān de dàxiǎo.)
CTL决议の計算量は状態空間の大きさに依存する。
