osmosis Europe 2025
The osmosis Europe event is a dynamic platform for exchanging successes achieved through applying formal techniques to overcome verification challenges. It offers a unique opportunity to connect and engage with our accomplished research and development (R&D) experts and participants.
The conversations that follow may help you and others improve formal-based verification solutions.
-
osmosis Europe 2025 Header
-
osmosis Europe 2025 Overview
osmosis Europe 2025 is a dynamic platform for exchanging successes achieved through applying formal techniques to overcome verification challenges. It offers a unique opportunity to connect and engage with our accomplished research and development (R&D) experts and participants.
-
osmosis Europe 2025 Presentations
-
Session Presentations
Session Title
Presenter
Videos
Slides
Formally Verifying Security Properties of CHERI Hardware and Software Thomas Bauereiss - University of Cambridge, Louis-Emile Ploix - University of Oxford - PDF Adaptable FWHW Formal Co-Verification of SoC RISC-V Components Bryan Olmos - Infineon - PDF Harnessing AI for Real-world Hardware Verification Doug Smith, Matthew Taylor - Doulos - PDF Ground Truth in the Age of AI: Abstract Models as the Anchor of Verification Tobias Ludwig – Lubis EDA - PDF Combining Performance and Formal Security Guarantees for Hardware Accelerators Lucas Deutschmann - RPTU University Kaiserslautern-Landau - PDF
-