Login / Signup

An Automatic Proving Approach to Parameterized Verification.

Yongjian LiKaiqiang DuanDavid N. JansenJun PangLijun ZhangYi LvShaowei Cai
Published in: ACM Trans. Comput. Log. (2018)
Keyphrases
  • model checking
  • wide range
  • semi automatic
  • face verification
  • multiresolution
  • database
  • real time
  • data sets
  • neural network
  • lower bound
  • user interface
  • data driven
  • formal verification
  • concurrent systems