Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Verifying Programs with Stainless: How Stainless Works

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (36)

Fracture Mechanics: Energy Analysis Log in to Mediaspace to watch this video

Explores energy analysis in fracture mechanics, emphasizing unstable crack growth and the importance of compliance in structural behavior.

Fracture Analysis: Energy and Mechanics Log in to Mediaspace to watch this video

Explores macroscopic energy analysis of fracture, focusing on unstable crack growth and energy mechanics.

Kinematics: Deformation and Expansion Log in to Mediaspace to watch this video

Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.

Service Design Basics Log in to Mediaspace to watch this video

Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.

Rigorous Bounds: Isotropic Phases Log in to Mediaspace to watch this video

Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.

Homogenization Theory: Isotropic Phases and Laminated Plates Log in to Mediaspace to watch this video

Explores the rigorous bounds on effective properties of isotropic phases and laminated plates.

Quantum Chemistry Log in to Mediaspace to watch this video

Covers eigenvalues, eigenfunctions, Hermitian operators, and the measurement of observables in quantum chemistry.

Displacement Field by Point Forces Log in to Mediaspace to watch this video

Explores solving displacement field by point forces using Green's functions and integration process to obtain total solution.

Block Pulled by a Spring Log in to Mediaspace to watch this video

Explores the dynamics of a block pulled by a spring under various conditions.

Solid Mechanics Principles: Greens Functions Log in to Mediaspace to watch this video

Explores Greens functions in solid mechanics, emphasizing the solution of point forces and their impact on displacement fields.

Computational Modeling of Microstructures Log in to Mediaspace to watch this video

Covers computational modeling of microstructures, statistical measures, microstructure reconstruction, and virtual material testing.

Stochastic Endowment Consumption Model Log in to Mediaspace to watch this video

Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.

Generic Programming: Templates Log in to Mediaspace to watch this video

Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.

Banach Spaces: Reflexivity and Convergence Log in to Mediaspace to watch this video

Explores Banach spaces, emphasizing reflexivity and sequence convergence in a rigorous mathematical framework.

VHDL for Synthesis Log in to Mediaspace to watch this video

Covers basic VHDL constructs for RTL design, including arithmetic, multiplexers, registers, and instantiation.

Parallel Calculation; Visualization Log in to Mediaspace to watch this video

Explores parallel computation in CFD, emphasizing its implementation in Fluent and visualization techniques for scientific data interpretation.

Page 2 of 2