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.") |
|||
| (3 intermediate revisions by the same user not shown) | |||
| 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. | ||
== System Specification Instance == | |||
[[PKC System Specification]] | |||
Latest revision as of 07:40, 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.