Model Checking, Finance.
theory provides a foundation for modeling and analyzing systems that evolve over time. In finance, ACTUS’ notion of a state machine is a special case of automata. Automata form the semantics for temporal formulae and provide the execution environment for model checking. Model Checking: Formal