Verifying Network Protocol Implementations by Symbolic Refinement Checking.

Rajeev Alur Bow-Yaw Wang

Published in: CAV (2001)

Keyphrases

verification method
consistency checking
real world
efficient implementation
decision making
high level
database systems
video sequences
special case
symbolic description