On the Relationship between Code Verifiability and Understandability.

Kobi Feldman Martin Kellogg Oscar Chaparro

Published in: CoRR (2023)

Keyphrases

source code
database
machine learning
data flow
data sets
computer vision
image segmentation
three dimensional
user interface
data model
open source
malicious code