Login / Signup

A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets.

Meng XuGuiping SuJin Wei
Published in: HIS (2) (2009)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • dynamic programming
  • artificial intelligence
  • search algorithm
  • multi agent systems
  • formal specification