Login / Signup

CompCertM: CompCert with C-assembly linking and lightweight modular verification.

Youngju SongMinki ChoDongjoo KimYonghyun KimJeehoon KangChung-Kil Hur
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • lightweight
  • model checking
  • formal verification
  • verification method
  • wireless sensor networks
  • mashup
  • authentication protocol
  • modular structure
  • communication infrastructure