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 Materials
Sections
Logika Course: Software Correctness
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
Volumes
Logika
Doc
Doc