Book
Open access
Oct 2026
Verification of Protocol Compliance by Symbolic Execution
This paper proposes symbolic execution as an efficient approach to bounded verification of communication-protocol compliance in embedded firmware. Such protocols are often validated empirically, but conventional test cases may fail to expose subtle instances of noncompliance. We present an approach that applies symboli...
Xing-Hua Peng, Pai H. Chou
· 0 citations