115 citations · 262 across the 51 of their papers we have counts for
1 paper · 2 filters
Yibo Dong, Yu Chen, Jianwen Li +2
Model checking is an automatic formal verification technique that is widely used in hardware verification. The state-of-the-art complete model-checking techniques, based on IC3/PDR…