A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.

Masahiro Higuchi J. Sano K. Hara Mamoru Fujii

Published in: ICDCS (1996)

Keyphrases

semi automated
communication protocols
verification method
model checking
temporal logic
fully automated
communication protocol
communication networks
databases
protocol specification