Certifying C program correctness with respect to CH2O with VeriFast.

Stefan Wils Bart Jacobs

Published in: CoRR (2023)

Keyphrases

program synthesis
web services
information technology
online learning
program execution
data sets
data mining
learning algorithm
video sequences
multiresolution
computer programs