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 bjz_ on Friday January 20, 2017 @02:14AM (#13442178)
http://whiley.org/ is another similar language that uses an SMT solver for testing program invariants.
[ Parent | on HN ]

There are no comments on this comment yet.