Login / Signup

The Formal Verification and Improvement of Simplified SET Protocol.

Meihua XiaoZilong WanHongling Liu
Published in: J. Softw. (2014)
Keyphrases
  • formal verification
  • small number
  • probability distribution
  • coloured petri nets
  • model checking
  • bounded model checking
  • digital libraries
  • lightweight
  • model checker