System Specification

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