APSL: A Light Weight Testing Tool for Protocols with Complex Messages.

Tom Tervoort I. S. W. B. Prasetya

Published in: Haifa Verification Conference (2017)

Keyphrases

lightweight
complex systems
real world

email
authentication protocol
wireless sensor networks

messages exchanged
high level
multi view

ad hoc networks
application level
communication infrastructure