Inicio > Term: model checking
model checking
Efficiently deciding whether a temporal logic formula is satisfied in a finite state machine model.
- Parte del discurso: noun
- Industria/ámbito: Ciencia informática
- Categoría: Algoritmos & Estructura de Datos
- Government Agency: NIST
0
Creador
- GeorgeV
-
(Gold) 1123 puntos - 100% positive feedback
