Course page Home page Home page CoursesNew course

Program verification: Mathematical Logic course | Zoonk

59. Program verification

Connects logical specifications with program correctness through Hoare logic, weakest preconditions, contracts, refinement, and separation logic. Learners verify a small program and document the assumptions that make its proof valid.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc