Verifying Programs with Stainless

Related lectures (51)

Explores VC dimension, gradient descent, convex sets, and Lipschitz functions in convex optimization.

Covers the Quantum Order Finding algorithm using Quantum Phase Estimation (QPE), focusing on Shor's factoring algorithm.

Explores Triple-Entry Accounting (TEA) as a blockchain solution to accounting challenges, offering increased data integrity and automation.

Explores challenges in designing systems with untrustworthy components, focusing on verification, control, and interaction in unreliable systems.

Covers fundamental C++ programming concepts, including structures, alias types, and multiple return solutions.

Covers the (log n) approximation algorithm for the sparsest cut problem, presenting the mathematical theorems and proofs.

Explores Carathéodory's Theorem and its dimension implications for set representation.

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Explores data wrangling techniques, error detection, functional dependencies, denial constraints, and data temporality.

Explores Coxeter groups, word length, simple reflections, and unique elements.

Explores various types of supports in structures and their role in restricting movement and generating reactions.

Page 3 of 3