Difference between revisions of "PKC System Specification"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[[System Specification |General introduction of System Specification]]. | [[System Specification |General introduction of System Specification]]. | ||
{{:System Specification}} | |||
Latest revision as of 05:49, 28 August 2021
General introduction of System Specification.
Specifying system property
- The state of all possible initial state.
- The next-state relation, describing all possible successor state of any state.