Introduction to the Coq Proof-Assistant for Practical Software Verification.

Christine Paulin-Mohring

Published in: LASER Summer School (2011)

Keyphrases

theorem prover
real world
detailed coverage
practical application
theorem proving
genetic algorithm
test bed
proof planning
real time
image processing
image segmentation
bayesian networks
data structure
evolutionary algorithm