Login / Signup
Efficient Reachability Analysis Based on Inductive Invariant Using X-value Based Flipflop Selection.
Ryogo Koikel
Masahiro Fujita
Published in:
ISQED (2021)
Keyphrases
</>
reachability analysis
affine transformation
affine invariant
low cost
computationally efficient
model checking