Formal Verification Courses and Certifications

Introduction to Modeling for Formal Verification

11 ratings at Coursera

Dive into functional verification and model checking concepts, learning transition systems, program graphs, and system composition techniques for hardware and software verification.

• Coursera
• 13 hours 48 minutes
• On-Demand
• Paid Course

Formal Verification Made Easy and Fast

Learn practical approaches to formal verification in Linux kernel development using Finite-State Machines and tracing events, with insights on low-overhead runtime verification techniques.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Alan Turing Institute

Formal Verification and Learning of Complex Systems - Professor Alessandro Abate

Exploring formal verification techniques for complex systems, combining model-based and data-driven methods to address scalability issues and provide system-level assertions in Cyber-Physical Systems.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Code Sync

Formal Reasoning: An Alternative Approach to Formal Verification - Code BEAM America 2022

Explore formal reasoning techniques to improve system testing, monitoring, and design. Learn practical applications of formal verification concepts for more efficient software development and operations.

• YouTube
• 46 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training

1 review

Explore a novel approach for quantitatively verifying probabilistic Deep Reinforcement Learning policies through abstract training, addressing challenges in neural network reasoning and state explosion in safety-critical applications.

• YouTube
• 33 minutes
• On-Demand
• Free Video

Formal Verification of Embedded Linux Systems Using Trace-Based Models

Explore trace-based models for formal verification of embedded Linux systems, focusing on safety-critical aspects, real-time properties, and system instrumentation techniques.

• YouTube
• 38 minutes
• On-Demand
• Free Video

Formal Verification and Performance Simulation in Real-World Applications - A Case Study with the Stellar Blockchain

Explore formal verification and performance simulation in blockchain applications, focusing on Stellar's consensus protocol and network behavior analysis techniques.

• YouTube
• 37 minutes
• On-Demand
• Free Video

Alan Turing Institute

At-Scale Formal Verification for Industrial Semiconductor Designs - Professor Tom Melham

Explore formal verification techniques for complex semiconductor designs, focusing on symbolic trajectory evaluation and symmetry exploitation to enhance microprocessor reliability and efficiency.

• YouTube
• 28 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

Agni: Fast Formal Verification of the Verifier's Range Analysis

Explore fast formal verification techniques for range analysis in the Linux kernel's eBPF verifier, enhancing security and performance.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Code Sync

When Testing Just Doesn't Cut It - Formal Verification in Mission-Critical Software

Explore formal verification techniques for mission-critical software, using a financial application example to demonstrate mathematical proofs beyond standard unit testing.

• YouTube
• 43 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Formal Verification of a Mechanical Ventilator Using UPPAAL

Explore formal verification of mechanical ventilators using UPPAAL, enhancing system reliability and correctness through advanced modeling techniques.

• YouTube
• 32 minutes
• On-Demand
• Free Video

ACM SIGPLAN

The Landscape of Formal Verification in APL - A Review with a Case Study in Quantum Computing

Explore formal verification in APL, focusing on its potential for building dependable software. Examine a case study in quantum computing and discuss future implications for software development.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Ethereum Engineering Group

Formal Verification of Distributed Validator Technology

Dive into the formal verification methods and protocols behind Ethereum's Distributed Validators Technology, exploring mathematical proofs and security implementations.

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

Topos Institute

Safety by Shared Synthesis - AI-Enabled Formal Verification for Critical Infrastructure

Explore how AI-enabled formal verification tools can enhance cybersecurity and infrastructure safety through collaborative specification development and automated proof systems.

• YouTube
• 59 minutes
• On-Demand
• Free Video

PapersWeLove

Performal: Formal Verification of Latency Properties for Distributed Systems

Explore Performal, a formal verification approach for reasoning about latency in distributed systems, abstracting over real-world infrastructure complexity while enabling accurate end-to-end latency estimation.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video