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
Slang and Logika
Slang Overview
Logika Overview
Basic Principles
Lecture Summary: Tracing Facts
Informal Reasoning about Simple Programs
Simple Immutable-Variable Programs
Simple Mutable-Variable Programs
Software Correctness and Verification
Motivation Logika
Basic Principles (old)
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
Loop Unfolding
Lecture Summary: Loop Unfolding
Loop Testing
Lecture Summary: Loop Testing
Sequences
Lecture Summary: Sequences
Summary
Lecture Summary: Summary
Volumes
Logika
Course Materials
Doc
Doc