Login / Signup

Model Learning and Model Checking of IPSec Implementations for Internet of Things.

Jiaxing GuoChunxiang GuXi ChenFushan Wei
Published in: IEEE Access (2019)
Keyphrases
  • model checking
  • temporal properties
  • model checker
  • finite state machines
  • learning algorithm
  • temporal logic
  • formal specification
  • specification language
  • symbolic model checking
  • concurrent systems