Login / Signup
Lightweight verification of separate compilation.
Jeehoon Kang
Yoonseung Kim
Chung-Kil Hur
Derek Dreyer
Viktor Vafeiadis
Published in:
POPL (2016)
Keyphrases
</>
lightweight
model checking
formal verification
verification method
wireless sensor networks
development environments
low cost
rfid tags
handheld devices