FTLTL Monitoring Algorithm

From FSL
Jump to: navigation, search

The monitoring algorithm for FTLTL keeps a natural number representing the current state in a deterministic finite state machine. As events are received the value of the current state and the event in question uniquely determine the next state of the finite state machine.

Personal tools
Namespaces

Variants
Actions
Navigation