Yueling Zhang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present a new SAT-based safety model checking framework , named approximate reachability (AR). AR is based on standard reachability analysis, but instead of maintaining a sequence of reachable state sets, AR maintains two sequences of (over-and under-) approximate reachable state sets, checking safety and unsafety concurrently. AR is inspired by IC3/PDR,(More)
  • 1