Why3 — where programs meet provers

Jean-Christophe Filliâtre, Andrei Paskevich
[doi] [Google Scholar] [DBLP] [Citeseer]

European Symposium on Programming
Springer
Pages 125-128
2013
Topic(s): tools verification
Note(s): Why3 verifier