Login / Signup

CPN Model Checking Method of Concurrent Software Based on State Space Pruning.

Tao SunJing YangWenjie Zhong
Published in: TrustCom (2020)
Keyphrases
  • model checking
  • state space
  • verification method
  • dynamic programming
  • reinforcement learning
  • computational complexity
  • finite state
  • formal verification
  • bounded model checking