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 frame- work, 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-) approx- imate reachable state sets, checking safety and unsafety concurrently. AR is inspired by(More)
  • 1