System Specification

To utilize the

Specifying system property

1. The state of all possible initial state.
2. The next-state relation, describing all possible successor state of any state.