Lemma Functions for Frama-C: C Programs as Proofs.

Grigoriy Volkov Mikhail U. Mandrykin Denis Efremov

Published in: CoRR (2018)

Keyphrases

computer programs
theorem proving
video sequences
functional programs
real world
image processing
theorem prover
johnson lindenstrauss