ホーム > Term: model checking
model checking
Efficiently deciding whether a temporal logic formula is satisfied in a finite state machine model.
- スピーチの一部 noun
- 産業/ドメイン コンピュータサイエンス
- カテゴリ Algorithms & data structures
- Government Agency: NIST
0
作成者
- GeorgeV
-
(Gold) 1123 ポイント - 100% positive feedback
