Conference on Computer-Aided Verification Courses

Context-Bounded Analysis for Systematic Testing of Concurrent Programs - CAV Award 2023

Discover groundbreaking research on context-bounded analysis and its impact on testing concurrent programs in this CAV Award 2023 presentation.

• YouTube
• 1 hour 45 minutes
• On-Demand
• Free Video

Verified Software Security Down to Gates

Explore hardware-software contracts synthesis, security vulnerability detection, and microarchitecture updates for verified software security. Gain insights into cutting-edge approaches for high-assurance computer systems design.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Privacy-preserving Automated Reasoning

Explore privacy-preserving formal reasoning techniques, including ppSAT solver and zero-knowledge protocols for Boolean formula unsatisfiability, advancing automated verification while maintaining data privacy.

• YouTube
• 1 hour 16 minutes
• On-Demand
• Free Video

Analogical Reasoning Engines: Flash Fill vs GPT-4 - Keynote

Explore analogical reasoning in AI, comparing domain-specific engines like Flash Fill with LLMs like GPT-4. Discover implications for problem-solving and programming, including prompt engineering and multi-turn workflows.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Free Video

The Art of SMT Solving - Introduction to Satisfiability Modulo Theories

Discover the elegant principles and practical applications of SMT solving technology, exploring automated solutions for logical formulas and their real-world implementation in various domains.

• YouTube
• 1 hour 12 minutes
• On-Demand
• Free Video

Lean 4 - Bridging Formal Mathematics and Software Verification

Explore how Lean 4 revolutionizes formal mathematics and software verification, combining proof assistance with functional programming for enhanced mathematical research and industrial applications.

• YouTube
• 1 hour 15 minutes
• On-Demand
• Free Video