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 profquail on Thursday January 19, 2017 @09:14PM (#13441259)
Isabelle is another language for program verification / theorem proving, similar to Dafny and Coq:

https://isabelle.in.tum.de/

[ Parent | on HN ]

There are no comments on this comment yet.