Search results for formal verification

Introduction to Modeling for Formal Verification

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 37 minutes
• On-Demand
• Free Online Course (Audit)

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

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

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

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

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

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

USENIX

Formal Verification of the PQXDH Post-Quantum Key Agreement Protocol for End-to-End Secure Messaging

Delve into formal verification analysis of Signal's PQXDH protocol, exploring security flaws, implementation safeguards, and protocol improvements for post-quantum secure messaging.

• YouTube
• 15 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

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

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

TheIACR

Integrating Formal Verification in Cryptographic Standards and Implementations

Explore formal verification in cryptographic standards and implementations with expert Karthik Bhargavan in this insightful conference talk from Crypto 2024.

• YouTube
• 58 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

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