Login / Signup

Formal Verification of Wireless Charging Standard Qi.

Kazuhiro FujitaKazuki Yoneyama
Published in: APKC@AsiaCCS (2024)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • program slicing
  • automated verification
  • wireless networks
  • symbolic model checking
  • bounded model checking
  • mobile devices
  • mobile phone
  • communication technologies