Login / Signup

Efficient Reachability Analysis Based on Inductive Invariant Using X-value Based Flipflop Selection.

Ryogo KoikelMasahiro Fujita
Published in: ISQED (2021)
Keyphrases
  • reachability analysis
  • affine transformation
  • affine invariant
  • low cost
  • computationally efficient
  • model checking