Verifying verified code.

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

Published in: Innov. Syst. Softw. Eng. (2022)

Keyphrases

source code
databases
real world
model checking
data sets
neural network
multimedia
website
case study
image segmentation
learning environment
code generation
error correcting
malicious code