Home >  Term: model checking
model checking

Efficiently deciding whether a temporal logic formula is satisfied in a finite state machine model.

0 0

Penulis

  • GeorgeV
  •  (Gold) 1123 poin
  • 100% positive feedback
© 2024 CSOFT International, Ltd.