Login / Signup

Lightweight verification via specialized typecheckers.

Martin Kellogg
Published in: ESEC/SIGSOFT FSE (2021)
Keyphrases
  • lightweight
  • general purpose
  • model checking
  • formal verification
  • verification method
  • communication infrastructure
  • wireless sensor networks
  • mobile phone
  • signature verification
  • development environments