Certifying C program correctness with respect to CompCert with VeriFast.

Stefan Wils Bart Jacobs

Published in: CoRR (2021)

Keyphrases

data sets
artificial intelligence
database
databases
data mining
information retrieval
genetic algorithm
database systems
computer programs
program understanding
practical experience