TY  - RPRT
TI  - VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations
AU  - Jinghao Shi
AU  - Shuvendu Lahiri
AU  - Ranveer Chandra
AU  - Geoffrey Challen
PY  - 2018
UR  - https://arxiv.org/abs/1808.03406
ID  - 1808.03406
ER  -