Difference between revisions of "System Specification"
Jump to navigation
Jump to search
| 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.