Rule-based Verification of Network Protocol Implementations using Symbolic Execution

By admin , 26 March 2016
Attachment
icccn11-symnv.pdf (1.2 MB)
Projects
SymNV
Short series title
ICCCN’11