Formal verification live event
osmosis Silicon Valley 2025
Thursday, May 1, 2025
46871 Bayside Parkway, Building B
Fremont, CA 94538
The annual osmosis 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.
Update: thanks for joining us!!!
Recordings now available here:
https://verificationacademy.com/topics/formal-verification/osmosis-2025/
(Also: osmosis 2022, 2023 and, 2024)
On-demand presentations
Check out past, on-demand presentations.