Doc
Volumes
ᐁ
Volumes
ᐁ
Slang
Slang
HAMR
HAMR
Logika
Logika
Venues
ᐁ
Venues
ᐁ
Tutorials
Tutorials
Presentations
Presentations
Download
Download
Papers
Papers
Funding
Funding
Team
Team
Logika Course: Software Correctness
Sections
Introduction
Basic Principles
Informal Reasoning about Simple Programs
Simple Immutable-Variable Programs
Simple Mutable-Variable Programs
Software Correctness and Verification
Motivation Logika
Conditional Statements
Conditionals
Contracts
Function Contracts
Contract Reasoning
Program Contracts
Testing
Testing From Specifications
Testing From Implementations
Loops
Motivation
Logika for While Loops
Sequences
Lecture Summaries
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
Lecture Summary: Loops
Volumes
Logika
Course Materials
Doc
Doc