Login / Signup
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.
Xiaoyu Zhang
Shengping Xiao
Jianwen Li
Geguang Pu
Ofer Strichman
Published in:
ICCAD (2022)
Keyphrases
</>
state space
real time
search algorithm
source code
software systems
database
computer vision
website
special case
np hard
dynamic programming
least squares
query evaluation