Lectures

Lecture content utilizes the Software Correctness Online Course Notes

Course Administration

• Slides

Overview and Background

---

Slang and Logika Overview

• Online course notes - Slang and Logika Overview
• Video overview of Slang and Logika

---

Foundations of Reasoning about Programs

---

Basics

• Online course notes
• Examples

---

Conditionals

---

Methods

---

Loops

---

Arrays / Sequences

---

Termination

---

Software Development Background

---

The Software Development Process

• Slides
• Concept Summary
• Resources:
  • FAA Requirements Engineering Management Handbook
  • Software Process Diagrams and Steps (from California Deparment of Transportation)

---

Testing Infrastructure and Terminology Background

---

Unit Testing in Scalatest and JUnit

---

Property-based Testing