Difference between revisions of "PKC System Specification"
Jump to navigation
Jump to search
(Created page with "General introduction of System Specification.") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
General introduction of | [[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.