Palindrome checker in dafny

dafny: a language and program verifier for functional correctness