• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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