Efficient Reachability Analysis Based on Inductive Invariant Using X-value Based Flipflop Selection. - Ryogo Koikel; Masahiro Fujita (ISQED, 2021)