Dafny
by Rustan Leino
Dafny is an automated verification tool for functional correctness of imperative programs written in a subset of the C# and Java programming languages.
All files are original, SoftRadar does not repack or modify downloads in any way.
This download is provided to you FREE of charge.