Automatic Generation of Protocol Converters from Scenario-Based Specifications.

Abhik Roychoudhury P. S. Thiagarajan Tuan-Anh Tran Vera A. Zvereva

Published in: RTSS (2004)

Keyphrases

protocol specification
automatically generate
high level
state machines
model checker
lightweight
coloured petri nets
communication protocols
formal specification
tcp ip
elliptic curve
formal analysis
delay insensitive
automatically generated
network simulator
file transfer
neural network