Verifying Verified Code.

Siddharth Priya Xiang Zhou Yusen Su Yakir Vizel Yuyan Bao Arie Gurfinkel

Published in: CoRR (2021)

Keyphrases

source code
databases
real time
data sets
neural network
data mining
information retrieval
artificial intelligence
decision making
expert systems
static analysis
code generation
error correcting codes