Difference between revisions of "System Specification"
Jump to navigation
Jump to search
(Created page with "== Specifying system property == The state of all possible initial state. The next-state relation, describing all possible successor state of any state.") |
|||
| Line 1: | Line 1: | ||
== Specifying system property == | == Specifying system property == | ||
The state of all possible initial state. | # The state of all possible initial state. | ||
The next-state relation, describing all possible successor state of any state. | # The next-state relation, describing all possible successor state of any state. | ||
Revision as of 07:21, 21 July 2021
Specifying system property
- The state of all possible initial state.
- The next-state relation, describing all possible successor state of any state.