Lectures related to Stainless Tutorial: Demo.scala Basics

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Introduction to Stainless: First Steps with Stainless

Introduces the Stainless verification tool with examples of verifying commutativity properties and arithmetic operations.

Formally Verified Chisel Designs

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

Hoare Logic: Postconditions and Preconditions

Covers Hoare logic, postconditions, preconditions, and program behavior proofs.

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Encoder and Decoder for Prefix-Free Codes

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Unfolding recursive functions in Stainless

Covers the concept of unfolding recursive functions using the Stainless tool.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Applied Mechanical Design: Introduction

Introduces the complexities of design, emphasizing the ill-posed nature of problems and the iterative design process.

Real Functions: Limit of Functions

Explores real functions and the concept of limits through examples and calculations.

Function Prototyping

Covers the importance of prototyping functions before using them, providing examples and best practices to follow.

Absolute Value: Definition and Properties

Covers the definition and basic properties of the absolute value function for real numbers.

Motivation: Limit of a Function

Explains the motivation behind the limit of a function and convergence criteria.

Data-Parallel Operations: Scala Programming

Covers data-parallel operations in Scala programming, focusing on fold operations and aggregate operation.

Functions: Anonymous

Covers the concept of anonymous functions in MATLAB and Octave.

Data Abstraction: Rational Numbers

Covers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.

Uniform Convergence: Series of Functions

Explores uniform convergence of series of functions and its significance in complex analysis.

Functions Composition: Continuity & Elements

Covers the composition of functions, continuity, and elementary functions, explaining the concept of continuity and the construction of elementary functions.

Geometric Series: Basic Example

Covers the basic example of a geometric series and its convergence properties.

Functions: User Defined Functions

Introduces built-in and user-defined functions in MATLAB and Octave.