Login / Signup

A Points-to-Sensitive Model Checker for C Programs in IoT Firmware.

Yinbo YuJiajia LiuDejun Mu
Published in: IEEE Internet Things J. (2022)
Keyphrases
  • model checker
  • model checking
  • formal verification
  • formal methods
  • description language
  • temporal logic
  • symbolic model checking
  • test suite
  • expert systems
  • set theory
  • image analysis
  • rough sets
  • formal specification