@misc{indiciae7e5011d2576d,
  title = {VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations},
  author = {Jinghao Shi and Shuvendu Lahiri and Ranveer Chandra and Geoffrey Challen},
  year = {2018},
  url = {https://arxiv.org/abs/1808.03406},
  note = {Source identifier: 1808.03406}
}