PKC System Specification

From PKC
Revision as of 05:49, 28 August 2021 by KevinTung (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

General introduction of System Specification.

Specifying system property

  1. The state of all possible initial state.
  2. The next-state relation, describing all possible successor state of any state.

System Specification Instance

PKC System Specification

Retrieved from "https://pkc.pub/index.php?title=PKC_System_Specification&oldid=10553"