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

Home

Lecture

What is Formal Verification?

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (43)

Untitled Log in to Mediaspace to watch this video

Dependable Architectures and Software Log in to Mediaspace to watch this video

Explores dependable architectures, error detection, fault-tolerant structures, and software reliability through examples like the Patriot Missile failure and ABB dual controller.

Software Quality: Managing Defects and Testing Strategies Log in to Mediaspace to watch this video

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Hydraulic Transients of Turbines: Hydroacoustic Modeling Log in to Mediaspace to watch this video

Explores hydraulic turbine modeling, stability, and historical development, emphasizing the selection criteria for Francis turbines.

Harmonic Forms and Riemann Surfaces Log in to Mediaspace to watch this video

Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

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

Complex Integration and Cauchy's Theorem Log in to Mediaspace to watch this video

Discusses complex integration and Cauchy's theorem, focusing on integrals along curves in the complex plane.

Finite State Machines (FSMs)Log in to Mediaspace to watch this video

Explores Finite State Machines (FSMs) in digital system design, covering Mealy and Moore FSMs, state diagrams, VHDL implementation, and state encoding.

Introduction to Proof Scripting: Basics of Ltac Log in to Mediaspace to watch this video

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Complex Analysis: Laurent Series and Residue Theorem Log in to Mediaspace to watch this video

Discusses Laurent series and the residue theorem in complex analysis, focusing on singularities and their applications in evaluating complex integrals.

Fourier Transform: Residue Method Log in to Mediaspace to watch this video

Covers the calculation of Fourier transforms using the residue method and applications in various scenarios.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Creativity & Design Thinking: Empathy, Ideation, and Implementation Log in to Mediaspace to watch this video

Explores empathy, ideation, and implementation in creativity and design thinking, emphasizing user needs and innovative idea generation.

Green's Theorem in 2D: Applications Log in to Mediaspace to watch this video

Explores the applications of Green's Theorem in 2D, emphasizing the importance of regular domains for successful integration.

Complex Analysis: Taylor Series Log in to Mediaspace to watch this video

Explores Taylor series in complex analysis, emphasizing the behavior around singular points.

Complex Analysis Theorems Summary Log in to Mediaspace to watch this video

Summarizes the usage of complex analysis theorems for different scenarios and emphasizes precise evaluation and decision-making.

Fourier Transform: Concepts and Applications Log in to Mediaspace to watch this video

Covers the Fourier transform, its properties, and applications in signal processing and differential equations, demonstrating its importance in mathematical analysis.

Complex Analysis: Domain Theory Log in to Mediaspace to watch this video

Explores the theory of domains in complex analysis, emphasizing regular and oriented domains.

Elastic and Inelastic Collisions: Kinetic Energy and Work Log in to Mediaspace to watch this video

Explores elastic and inelastic collisions, kinetic energy conservation, and work principles with practical examples.

Page 2 of 3