A verified protocol buffer compiler.

Qianchuan Ye Benjamin Delaware

Published in: CPP (2019)

Keyphrases

programming language
lightweight
formal analysis
buffer size
general purpose
coloured petri nets
communication protocols
software engineering
software systems
multi party
application layer
tcp ip
cryptographic protocols