Sign in

Lightweight verification of separate compilation.

Jeehoon KangYoonseung KimChung-Kil HurDerek DreyerViktor Vafeiadis
Published in: POPL (2016)
Keyphrases
  • lightweight
  • model checking
  • formal verification
  • verification method
  • wireless sensor networks
  • development environments
  • low cost
  • rfid tags
  • handheld devices