Home >  Term: model checking
model checking

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

0 0

Creator

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