System Specification

From PKC
Revision as of 07:40, 21 July 2021 by KevinTung (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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=System_Specification&oldid=6476"