Introducing Software Verification with Dafny Language: Proving Program Correctness

Introduction: Languages and SystemsChapter 1: Our First ProgramChapter 2: LogicChapter 3: ComputationChapter 4: Mathematical FoundationsChapter 5: ProofsChapter 6: SpecificationsChapter 7: Mathematical InductionChapter 8: Verification ExercisesChapter 9: Implementing a Formal SystemConclusionBibliographyAppendix A: Gödel's Theorems