LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution).

Olli Saarikivi Keijo Heljanko

Published in: TACAS (2016)

Keyphrases

computer programs
theorem proving
automatic programming
real time
multiscale
test data
intermediate level
international competition
machine learning
relational databases
java programs
control structures
formal proof