Statik Analiz

Dafny, kodun doğruluğunu kanıtlamaya odaklanmış, doğrulama bilincine sahip bir programlama dilidir. Yerel olarak spesifikasyonları kaydetme desteği sunar ve statik bir program doğrulayıcı ile donatılm...