Pretty standard intro to course slides, why you should take the course, basic terminology, etc.
Specification- How do you know what it’s supposed to doCorrectness- How do you know that software does what it’s supposed to
Pretty standard intro to course slides, why you should take the course, basic terminology, etc.
Specification - How do you know what it’s supposed to doCorrectness - How do you know that software does what it’s supposed to