Why3 - Where Programs Meet Provers.

Jean-Christophe Filliâtre Andrei Paskevich

Published in: ESOP (2013)

Keyphrases

theorem proving
automatic programming
data sets
databases
artificial intelligence
social networks
image processing
digital libraries
theorem prover
stable models
intermediate level