Formal Methods Courses and Certifications

Generative AI and Symbolic Reasoning

11 ratings at Coursera

Master the fundamentals of generative AI, from transformers and LLMs to symbolic AI integration. Explore practical applications, ethical considerations, and techniques for building responsible, explainable AI systems.

• Coursera
• 12 hours 2 minutes
• Self-Paced
• Paid Course

Temporal Logic Model Checking

Explore temporal logic model checking, functional verification, and modeling formalisms for hardware and software systems, including LTL, CTL, and symbolic model checking techniques.

• Coursera
• 1 day 21 hours 39 minutes
• Self-Paced
• Paid Course

System Validation (4): Modelling Software, Protocols, and other behaviour

13 ratings at Coursera

Explore advanced modeling techniques for software, protocols, and behaviors. Learn to create efficient, analyzable models using formal methods and linear processes.

• Coursera
• 3 hours 49 minutes
• Self-Paced
• Paid Course

Hausdorff Center for Mathematics

Formalisierung der Mathematik - Wann führen Computer die Beweise?

Experten diskutieren die Zukunft formaler mathematischer Beweise durch Computer, deren Potenzial, Herausforderungen und Auswirkungen auf die mathematische Forschung und Gemeinschaft.

• YouTube
• 1 hour 4 minutes
• Self-Paced
• Free Video

Verification Series Part 6 : SystemVerilog Assertions Basics

498 ratings at Udemy

Master SystemVerilog assertions through hands-on examples covering immediate, deferred, and concurrent assertions. Build expertise in temporal and non-temporal verification for effective RTL debugging and validation.

• Udemy
• 10 hours 8 minutes
• Self-Paced
• Paid Course

Argumentation: The Study of Effective Reasoning

127 ratings at The Great Courses Plus

Learn the fundamentals of argumentation and build a foundation for communication and reasoning that will benefit you in every area of your life.

• The Great Courses Plus
• 12 hours 10 minutes
• Self-Paced
• Free Trial Available

ACM SIGPLAN

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma

Explore formal probabilistic methods for combinatorial structures, focusing on the Lovász Local Lemma and its application to hypergraph coloring in Isabelle/HOL.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

Simons Institute

Machine-Checked Proofs and the Rise of Formal Methods in Mathematics - Theoretically Speaking

Explore the Lean proof assistant's role in verifying complex mathematical proofs and software, its extensible design, and its impact on mathematical education and AI research.

• YouTube
• 1 hour 25 minutes
• Self-Paced
• Free Video

Validation of Safety-Critical Systems: Introduction and Overview

1 rating

Explore algorithmic approaches to validating safety-critical systems, covering key challenges and solutions for ensuring reliability in complex technological implementations.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Chat with Hillel Wayne about TLA+

Explore TLA+, a formal specification language, with Hillel Wayne. Learn about its applications, benefits, and the upcoming TLA+ Conference, gaining insights into this powerful tool for software design and verification.

• YouTube
• 18 minutes
• Self-Paced
• Conference Talk

Devoxx

The Verification of a Distributed System

Strategies for testing and verifying distributed systems, addressing partial failure and asynchrony. Explores formal methods and practical techniques to ensure correctness and reliability.

• YouTube
• 48 minutes
• Self-Paced
• Conference Talk

GOTO Conferences

How to Use Real Computer Science in Your Day Job

Discover practical applications of advanced computer science concepts in everyday software development, enhancing problem-solving skills and job satisfaction.

• YouTube
• 31 minutes
• Self-Paced
• Conference Talk

Rust

Verus - Verified Rust for Low-Level Systems Code

Explore Verus, a tool for full functional verification of low-level systems code in Rust. Learn about formal methods, specification writing, and proving program correctness beyond type system checks.

• YouTube
• 56 minutes
• Self-Paced
• Free Video

Rust

Rustv: Semi-automatic Verification of Unsafe Rust Programs

Explore semi-automatic verification of unsafe Rust programs, focusing on adapting seL4's approach, translating to Isabelle/Simpl, and formalizing safety conditions.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Formal Modeling and Analysis of Distributed Systems

Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk