Home > Term: model checking
model checking
Efficiently deciding whether a temporal logic formula is satisfied in a finite state machine model.
- Jenis Kata: noun
- Industri / Domain: Sains komputer
- Kategori: Algorithms & data structures
- Government Agency: NIST
0
Penulis
- GeorgeV
- 100% positive feedback