Volumes ᐁ Volumes ᐁ

Venues ᐁ Venues ᐁ

Tutorials Tutorials

Presentations Presentations

Download Download

Funding Funding

Lecture Summaries

These files summarize the lectures given in the Software Correctness course at Aarhus University in Spring 2023.

Tracing Facts - This lecture covers ….

Sections

Tracing Facts
- Lecture Summary: Tracing Facts
Conditionals
- Lecture Summary: Conditionals
Contracts Test
- Lecture Summary: Contracts Test
Contracts Proof
- Lecture Summary: Contracts Proof
Loops
- Lecture Summary: Loops
Loop Unfolding
- Lecture Summary: Loop Unfolding
Loop Testing
- Lecture Summary: Loop Testing
Sequences
- Lecture Summary: Sequences
Summary
- Lecture Summary: Summary

Volumes Logika Course Materials Logika Course: Software Correctness