by Ajin Jirachiefpattana (Author), Richard Lai (Author)
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.
Format: Illustrated
Pages: 332
Edition: 1998
Publisher: Springer
Published: 30 Sep 1998
ISBN 10: 0792382846
ISBN 13: 9780792382843