Rule-based Verification of Network Protocol Implementations using Symbolic Execution

All Authors
JaeSeung Song; Tiejun Ma; Cristian Cadar; Peter Pietzuch
Publication Venue
20th IEEE International Conference on Computer Communications and Networks (ICCCN)
Publication Date
2011
Attachment
icccn11-symnv.pdf (1.2 MB)
Projects
SymNV
Short series title
ICCCN’11