Sign in

Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models.

Zhen-Tian LiuJing Liu
Published in: COMPSAC (2) (2019)
Keyphrases
  • formal verification
  • complex systems
  • petri net
  • statistical models
  • probabilistic model
  • model checking
  • parameter estimation
  • orders of magnitude