Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

October 2025

• Combining Performance and Formal Security Guarantees for Hardware Accelerators

  Formal Verification Oct 16, 2025 Lucas Deutschmann - Rptu University Kaiserslautern-Landau pdf

• Ground Truth in the Age of AI: Abstract Models as the Anchor of Verification

  Machine Learning Oct 16, 2025 Tobias Ludwig - Lubis Eda pdf

• Adaptable FWHW Formal Co-Verification of SoC RISC-V Components

  Formal Verification Oct 16, 2025 Bryan Olmos - Infineon pdf

• Formally Verifying Security Properties of CHERI Hardware and Software

  Formal Verification Oct 16, 2025 Thomas Bauereiss - University Of Cambridge pdf

• Harnessing AI for Real-world Hardware Verification

  Machine Learning Oct 16, 2025 Matthew Taylor - Doulos pdf

• 

  osmosis Europe 2025

  Formal Verification Oct 16, 2025 Nicolae Tusinschi Conference