Dafny Nedir: Dafny hatasız kod yazmayı kolaylaştırmak için tasarlanmıştır. Java gibi birçok programlama dilinde uygulamada bir çok hata içermesine rağmen syntax hatası olmadığından uygulamayı başarıyla compile edebiliyoruz. Uygulamayı çalıştırdığımızda ise index out of bounds, null dereferences, division by zero, infinite gibi bir çok runtime hata ile ve istenmediği halde infinite loop gibi mantıksal bazı hatalar […]