Dafny is a quite nice and actually useable tool but unfortunately .Net only.

Reply via email to