The Until Operator

Loading...
シラバスを表示

レビュー

4.3 (45 件の評価)
  • 5 stars
    60%
  • 4 stars
    24.44%
  • 3 stars
    4.44%
  • 2 stars
    4.44%
  • 1 star
    6.66%
レッスンから
Module 1: Computational Tree Logic
We introduce Labeled Transition Systems (LTS), the syntax and semantics of Computational Tree Logic (CTL) and discuss the model checking algorithms that are necessary to compute the satisfaction set for specific CTL formulas.

講師

  • Placeholder

    Anne Remke

    Prof. dr.

コース一覧で検討

サインアップは無料です。今すぐサインアップして、パーソナライズされたお勧め、更新、サービスを利用しましょう。