The Why/Krakatoa/Caduceus platform for deductive program verification
Jean-Christophe Filliâtre, Claude Marché[doi] [Google Scholar] [DBLP] [Citeseer]
International Conference on Computer Aided Verification
Springer
Pages 173-177
2007
Topic(s): tools verification
Note(s): Why3 verifier
Springer
Pages 173-177
2007
Topic(s): tools verification
Note(s): Why3 verifier