Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science)

by Ajin Jirachiefpattana (Author), Richard Lai (Author)

• New

  Illustrated
  1998

  $69.80

  Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.