Dafny Examples for Software Testing, Quality Assurance, and Management Examples of Dafny programs with solution