A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper.

Nikolai Kosmatov Virgile Prevosto Julien Signoles

Published in: TAP@STAF (2013)

Keyphrases

provably correct
imperative programs
theorem proving
theorem prover
automatic programming
database
researchers and practitioners
linear logic
machine learning
search engine
logic programs
learning processes
answer sets
invited talk
recursive programs