홈 > 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
