Verification and Redesign of OFDM Backscatter.

Xin Liu Zicheng Chi Wei Wang Yao Yao Pei Hao Ting Zhu

Published in: NSDI (2021)

Keyphrases

communication systems
business process
model checking
cross section
multipath
face verification
formal verification
case study
data sets
sensor networks
formal methods
formal analysis
functional verification