State of the Art in Software Verification and Witness Validation: SV-COMP 2024.

Published in: TACAS (3) (2024)

Keyphrases

database
data sets
machine learning
computer vision
decision making
metadata
training data
digital libraries
relational databases
query language
image data
support vector machine
management system
open source