PKC System Specification

From PKC
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"