News for hackers. Stuff that matters.

A comment on Dafny – A programming language with a program verifier. Parent comment

Re:Dafny – A programming language with a program verifier by ivcha on Thursday January 26, 2017 @02:16PM (#13494337)
Leon (http://lara.epfl.ch/w/leon) -- effectively, a verification/synthesis framework around Scala
[ Parent | on HN ]

There are no comments on this comment yet.