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

Formal verification

Related lectures (30)

Property-Based Testing: QuickChick Log in to Mediaspace to watch this video

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

Abstract Interpretation and Octagon Domain Log in to Mediaspace to watch this video

Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.

Hoare Logic: Foundations and Applications Log in to Mediaspace to watch this video

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

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.

Sparsest Subgraph: Densest Subgraph Log in to Mediaspace to watch this video

Covers Sparsest Subgraph and Densest Subgraph, focusing on correlation clustering and approximation algorithms.

Advanced Metaprogramming Queries: Code Volume & Complexity Log in to Mediaspace to watch this video

Explores challenges in code volume, complexity, and metaprogramming queries over code.

Advanced Metaprogramming Queries: Code Volume & Complexity Log in to Mediaspace to watch this video

Explores managing large codebases, higher abstraction levels, CodeDB, Datalog queries, and program analysis.

Error Management in LabVIEW Log in to Mediaspace to watch this video

Emphasizes error management in LabVIEW, source file analysis, and program execution with Xcode.

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.